Hostname: page-component-76fb5796d-2lccl Total loading time: 0 Render date: 2024-04-27T00:32:09.686Z Has data issue: false hasContentIssue false
  • English
  • Français

THE NON-AXIOMATIZABILITY OF O-MINIMALITY

Published online by Cambridge University Press:  17 April 2014

ALEX RENNET
ALEX RENNET*
Affiliation:
DEPARTMENT OF MATHEMATICS UNIVERSITY OF TORONTO TORONTO, ONTARIO Email:rennetad@math.utoronto.caURL:http://www.math.toronto.edu/cms/rennet-alex/
Get access Rights & Permissions [Opens in a new window]

Abstract

Fix a language extending the language of ordered fields by at least one new predicate or function symbol. Call an L-structure R pseudo-o-minimal if it is (elementarily equivalent to) an ultraproduct of o-minimal structures. We show that for any recursive list of L-sentences , there is a real closed field satisfying which is not pseudo-o-minimal. This shows that the theory To−min consisting of those -sentences true in all o-minimal -structures, also called the theory of o-minimality (for L), is not recursively axiomatizable. And, in particular, there are locally o-minimal, definably complete expansions of real closed fields which are not pseudo-o-minimal.

Keywords

O-minimalitylogicmodel theoryaxiomatizabilityultraproducts
Type
Articles
Information
The Journal of Symbolic Logic , Volume 79 , Issue 1 , March 2014 , pp. 54 - 59
Copyright
Copyright © Association for Symbolic Logic 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Ax, James, The elementary theory of finite fields. Annals of Mathematics, Second Series, vol. 88 (1968), no. 2, pp. 239–271.Google Scholar
Belegradek, O., Peterzil, Y., and Wagner, F., Quasi-o-minimal structures, this Journal, vol. 65 (2000), no. 3, pp. 1115–1132.Google Scholar
Dolich, A., Miller, C., and Steinhorn, C., Structures having o-minimal open core. Transactions of the American Mathematical Society, vol. 362 (2009), no. 3, pp. 1371–1411.Google Scholar
Fornasiero, Antongiulio, Tame structures and open cores , http://arxiv.org/abs/1003.3557.Google Scholar
Hodges, Wilfrid, A shorter model theory, Cambridge University Press, Cambridge, 1998.Google Scholar
Kaye, Richard, Models of Peano arithmetic, Clarendon Press, Oxford, 1991.Google Scholar
Knight, J., Pillay, A., and Steinhorn, C., Definable sets in ordered structures II. Transactions of the American Mathematical Society, vol. 295 (1986), no. 2, pp. 593–605.Google Scholar
Macpherson, H. D., Marker, D., and Steinhorn, C., Weakly o-minimal structures and real closed fiels. Transactions of the American Mathematical Society, vol. 352 (2000), pp. 5435–5483.Google Scholar
Miller, Chris, Expansions of dense linear orders with the intermediate value property, this Journal, vol. 66 (2001), no. 4, pp. 1783–1790.Google Scholar
Miller, Chris, Tameness in expansions of the real field , Logic Colloquium ’01 (Vienna, 2001), Lecture Notes in Logic, vol. 20, Association for Symbolic Logic, Urbana, IL, 2005, pp. 281–316.Google Scholar
Schoutens, Hvans, O-minimalism , http://arxiv.org/abs/1106.1196v1.Google Scholar
Toffalori, Carlo and Vozoris, Kathryn, Notes on local o-minimality. Mathematical Logic Quarterly,vol. 55 (2009), no. 6, pp. 617–632.Google Scholar
Väänänen, Jouko, Pseudo-finite model theory. Matematica Contemporanea, vol. 24 (2003), pp. 169–183.Google Scholar
Dries, Lou Van Den. The field of reals with a predicate for the powers of two. Manuscripta Mathematica, vol. 54 (1985), pp. 187–195.Google Scholar
Dries, Lou Van Den, Tame topology and o-minimal structures, Cambridge University Press,New York, 1998.Google Scholar
Dries, Lou Van Den, Dense pairs of o-minimal structures. Fundamenta Mathematicae, vol. 157 (1998), no. 1, pp. 61–78.Google Scholar