Structures having o-minimal open core

Dolich, Alfred; Miller, Chris; Steinhorn, Charles

doi:10.1090/S0002-9947-09-04908-3

Structures having o-minimal open core
HTML articles powered by AMS MathViewer

by Alfred Dolich, Chris Miller and Charles Steinhorn

Trans. Amer. Math. Soc. 362 (2010), 1371-1411

DOI: https://doi.org/10.1090/S0002-9947-09-04908-3

Published electronically: October 8, 2009

PDF | Request permission

Abstract:

The open core of an expansion of a dense linear order is its reduct, in the sense of definability, generated by the collection of all of its open definable sets. In this paper, expansions of dense linear orders that have o-minimal open core are investigated, with emphasis on expansions of densely ordered groups. The first main result establishes conditions under which an expansion of a densely ordered group has an o-minimal open core. Specifically, the following is proved:

Let $\mathfrak R$ be an expansion of a densely ordered group $(R,<,*)$ that is definably complete and satisfies the uniform finiteness property. Then the open core of $\mathfrak R$ is o-minimal.

Two examples of classes of structures that are not o-minimal yet have o-minimal open core are discussed: dense pairs of o-minimal expansions of ordered groups, and expansions of o-minimal structures by generic predicates. In particular, such structures have open core interdefinable with the original o-minimal structure. These examples are differentiated by the existence of definable unary functions whose graphs are dense in the plane, a phenomenon that can occur in dense pairs but not in expansions by generic predicates. The property of having no dense graphs is examined and related to uniform finiteness, definable completeness, and having o-minimal open core.

References

Oleg Belegradek and Boris Zilber, The model theory of the field of reals with a subgroup of the unit circle, J. Lond. Math. Soc. (2) 78 (2008), no. 3, 563–579. MR 2456892, DOI 10.1112/jlms/jdn037
Alexander Berenstein, Clifton Ealy, and Ayhan Günaydın, Thorn independence in the field of real numbers with a small multiplicative group, Ann. Pure Appl. Logic 150 (2007), no. 1-3, 1–18. MR 2370512, DOI 10.1016/j.apal.2007.06.002
Z. Chatzidakis and A. Pillay, Generic structures and simple theories, Ann. Pure Appl. Logic 95 (1998), no. 1-3, 71–92. MR 1650667, DOI 10.1016/S0168-0072(98)00021-9
Alfred Dolich, A note on weakly o-minimal structures and definable completeness, Notre Dame J. Formal Logic 48 (2007), no. 2, 281–292. MR 2306397, DOI 10.1305/ndjfl/1179323268
Randall Dougherty and Chris Miller, Definable Boolean combinations of open sets are Boolean combinations of open definable sets, Illinois J. Math. 45 (2001), no. 4, 1347–1350. MR 1895461
Lou van den Dries, The field of reals with a predicate for the powers of two, Manuscripta Math. 54 (1985), no. 1-2, 187–195. MR 808687, DOI 10.1007/BF01171706
Lou van den Dries, o-minimal structures, Logic: from foundations to applications (Staffordshire, 1993) Oxford Sci. Publ., Oxford Univ. Press, New York, 1996, pp. 137–185. MR 1428004
Lou van den Dries, $T$-convexity and tame extensions. II, J. Symbolic Logic 62 (1997), no. 1, 14–34. MR 1450511, DOI 10.2307/2275729
Lou van den Dries, Dense pairs of o-minimal structures, Fund. Math. 157 (1998), no. 1, 61–78. MR 1623615, DOI 10.4064/fm-157-1-61-78
Lou van den Dries, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998. MR 1633348, DOI 10.1017/CBO9780511525919
L. van den Dries, Limit sets in o-minimal structures, Lecture Notes in Real Analytic and Algebraic Geometry, Cuvillier Verlag, Göttingen (2005), 172–215, has appeared in: Proceedings of the RAAG Summer School, Lisbon 2003: O-minimal structures.
Lou van den Dries and Adam H. Lewenberg, $T$-convexity and tame extensions, J. Symbolic Logic 60 (1995), no. 1, 74–102. MR 1324502, DOI 10.2307/2275510
Lou van den Dries and Chris Miller, Geometric categories and o-minimal structures, Duke Math. J. 84 (1996), no. 2, 497–540. MR 1404337, DOI 10.1215/S0012-7094-96-08416-1
Mario J. Edmundo, Structure theorems for o-minimal expansions of groups, Ann. Pure Appl. Logic 102 (2000), no. 1-2, 159–181. MR 1732059, DOI 10.1016/S0168-0072(99)00043-3
Sergio Fratarcangeli, Elimination of imaginaries in expansions of o-minimal structures by generic sets, J. Symbolic Logic 70 (2005), no. 4, 1150–1160. MR 2194242, DOI 10.2178/jsl/1129642120
H. Friedman, On expansions of o-minimal structures (1996), preliminary report, available at http://www.math.ohio-state.edu/foundations/manuscripts.html .
Harvey Friedman and Chris Miller, Expansions of o-minimal structures by fast sequences, J. Symbolic Logic 70 (2005), no. 2, 410–418. MR 2140038, DOI 10.2178/jsl/1120224720
Deirdre Haskell and Dugald Macpherson, A version of o-minimality for the $p$-adics, J. Symbolic Logic 62 (1997), no. 4, 1075–1092. MR 1618009, DOI 10.2307/2275628
Julia F. Knight, Anand Pillay, and Charles Steinhorn, Definable sets in ordered structures. II, Trans. Amer. Math. Soc. 295 (1986), no. 2, 593–605. MR 833698, DOI 10.1090/S0002-9947-1986-0833698-1
Michael C. Laskowski, Vapnik-Chervonenkis classes of definable sets, J. London Math. Soc. (2) 45 (1992), no. 2, 377–384. MR 1171563, DOI 10.1112/jlms/s2-45.2.377
Michael C. Laskowski and Charles Steinhorn, On o-minimal expansions of Archimedean ordered groups, J. Symbolic Logic 60 (1995), no. 3, 817–831. MR 1348995, DOI 10.2307/2275758
A. Lewenberg, On elementary pairs of o-minimal structures, Ph.D. thesis, University of Illinois at Urbana-Champaign, 1995.
Angus Macintyre, Dense embeddings. I. A theorem of Robinson in a general setting, Model theory and algebra (A memorial tribute to Abraham Robinson), Lecture Notes in Math., Vol. 498, Springer, Berlin, 1975, pp. 200–219. MR 0406788
Dugald Macpherson, David Marker, and Charles Steinhorn, Weakly o-minimal structures and real closed fields, Trans. Amer. Math. Soc. 352 (2000), no. 12, 5435–5483. MR 1781273, DOI 10.1090/S0002-9947-00-02633-7
Chris Miller, Expansions of dense linear orders with the intermediate value property, J. Symbolic Logic 66 (2001), no. 4, 1783–1790. MR 1877021, DOI 10.2307/2694974
Chris Miller, Tameness in expansions of the real field, Logic Colloquium ’01, Lect. Notes Log., vol. 20, Assoc. Symbol. Logic, Urbana, IL, 2005, pp. 281–316. MR 2143901
C. Miller, Definable choice in d-minimal expansions of ordered groups, preliminary report, available at http://www.math.ohio-state.edu/~miller.
Chris Miller and Patrick Speissegger, Expansions of the real line by open sets: o-minimality and open cores, Fund. Math. 162 (1999), no. 3, 193–208. MR 1736360
Chris Miller and Sergei Starchenko, A growth dichotomy for o-minimal expansions of ordered groups, Trans. Amer. Math. Soc. 350 (1998), no. 9, 3505–3521. MR 1491870, DOI 10.1090/S0002-9947-98-02288-0
Chris Miller and James Tyne, Expansions of o-minimal structures by iteration sequences, Notre Dame J. Formal Logic 47 (2006), no. 1, 93–99. MR 2211185, DOI 10.1305/ndjfl/1143468314
Alf Onshuus, Properties and consequences of thorn-independence, J. Symbolic Logic 71 (2006), no. 1, 1–21. MR 2210053, DOI 10.2178/jsl/1140641160
Ya’acov Peterzil and Sergei Starchenko, A trichotomy theorem for o-minimal structures, Proc. London Math. Soc. (3) 77 (1998), no. 3, 481–523. MR 1643405, DOI 10.1112/S0024611598000549
Ya’acov Peterzil and Charles Steinhorn, Definable compactness and definable subgroups of o-minimal groups, J. London Math. Soc. (2) 59 (1999), no. 3, 769–786. MR 1709079, DOI 10.1112/S0024610799007528
Anand Pillay and Charles Steinhorn, Definable sets in ordered structures, Bull. Amer. Math. Soc. (N.S.) 11 (1984), no. 1, 159–162. MR 741730, DOI 10.1090/S0273-0979-1984-15249-2
Anand Pillay and Charles Steinhorn, Definable sets in ordered structures. I, Trans. Amer. Math. Soc. 295 (1986), no. 2, 565–592. MR 833697, DOI 10.1090/S0002-9947-1986-0833697-X
Anand Pillay and Charles Steinhorn, Discrete $o$-minimal structures, Ann. Pure Appl. Logic 34 (1987), no. 3, 275–289. Stability in model theory (Trento, 1984). MR 899083, DOI 10.1016/0168-0072(87)90004-2
Anand Pillay and Charles Steinhorn, Definable sets in ordered structures. III, Trans. Amer. Math. Soc. 309 (1988), no. 2, 469–476. MR 943306, DOI 10.1090/S0002-9947-1988-0943306-9
Serge Randriambololona, o-minimal structures: low arity versus generation, Illinois J. Math. 49 (2005), no. 2, 547–558. MR 2164352
A. Robinson, Solution of a problem of Tarski, Fund. Math. 47 (1959), 179–204. MR 112841, DOI 10.4064/fm-47-2-179-204
C. Toffalori and K. Vozoris, Notes on local o-minimality (2008), to appear in MLQ Math. Log. Q., available at http://www.logique.jussieu.fr/modnet/Home/.
B. Zilber, Complex roots of unity on the real plane (2003), preprint, available at http://www.maths.ox.ac.uk/~zilber/publ.html.