<p>We give a sufficient condition for definably complete expansions <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\mathcal {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> of ordered groups to have constructible open cores. We also prove that the dimension function satisfies the axioms proposed by van den Dries if <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathcal {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> is Baire and every set definable in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\mathcal {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> is constructible. Using the first result, we give necessary and sufficient conditions for definably complete ordered groups (or definably complete ordered fields) to have locally o-minimal (or d-minimal) open cores. As a corollary, we obtain that, if the theory of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\mathcal {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> is strong, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\mathcal {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> has a locally o-minimal open core.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Constructible structures and constructible open cores

  • Masato Fujita

摘要

We give a sufficient condition for definably complete expansions \({\mathcal {R}}\) R of ordered groups to have constructible open cores. We also prove that the dimension function satisfies the axioms proposed by van den Dries if \({\mathcal {R}}\) R is Baire and every set definable in \({\mathcal {R}}\) R is constructible. Using the first result, we give necessary and sufficient conditions for definably complete ordered groups (or definably complete ordered fields) to have locally o-minimal (or d-minimal) open cores. As a corollary, we obtain that, if the theory of \({\mathcal {R}}\) R is strong, \({\mathcal {R}}\) R has a locally o-minimal open core.