Structures having o-minimal open core

Authors:
Alfred Dolich, Chris Miller and Charles Steinhorn

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

MSC (2000):
Primary 03C64; Secondary 06F20

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

Published electronically:
October 8, 2009

MathSciNet review:
2563733

Full-text PDF

Abstract | References | Similar Articles | Additional Information

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:

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.Let be an expansion of a densely ordered group that is definably complete and satisfies the uniform finiteness property. Then the open core of is o-minimal.

**[1]**O. Belegradek and B. 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.**[2]**A. Berenstein, C. Ealy, and A. 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****[3]**Z. Chatzidakis and A. Pillay,*Generic structures and simple theories*, Ann. Pure Appl. Logic**95**(1998), no. 1-3, 71-92. MR**1650667 (2000c:03028)****[4]**A. Dolich,*A note on weakly o-minimal structures and definable completeness*, Notre Dame J. Formal Logic**48**(2007), no. 2, 281-292 (electronic). MR**2306397 (2008i:03042)****[5]**R. Dougherty and C. 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 (2003c:54018)****[6]**L. 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 (87d:03098)****[7]**L. 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 (98b:03053)****[8]**L. van den Dries,*-convexity and tame extensions. II*, J. Symbolic Logic**62**(1997), no. 1, 14-34. MR**1450511 (98h:03048)****[9]**L. van den Dries,*Dense pairs of o-minimal structures*, Fund. Math.**157**(1998), no. 1, 61-78. MR**1623615 (2000a:03058)****[10]**L. van den Dries,*Tame topology and o-minimal structures*, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998. MR**1633348 (99j:03001)****[11]**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.**[12]**L. van den Dries and A. Lewenberg,*-convexity and tame extensions*, J. Symbolic Logic**60**(1995), no. 1, 74-102. MR**1324502 (96a:03048)****[13]**L. van den Dries and C. Miller,*Geometric categories and o-minimal structures*, Duke Math. J.**84**(1996), no. 2, 497-540. MR**1404337 (97i:32008)****[14]**M. Edmundo,*Structure theorems for o-minimal expansions of groups*, Ann. Pure Appl. Logic**102**(2000), no. 1-2, 159-181. MR**1732059 (2001k:03080)****[15]**S. Fratarcangeli,*Elimination of imaginaries in expansions of o-minimal structures by generic sets*, J. Symbolic Logic**70**(2005), no. 4, 1150-1160. MR**2194242 (2006i:03061)****[16]**H. Friedman,*On expansions of o-minimal structures*(1996), preliminary report, available at`http://www.math.ohio-state.edu/foundations/manuscripts.html`.**[17]**H. Friedman and C. Miller,*Expansions of o-minimal structures by fast sequences*, J. Symbolic Logic**70**(2005), no. 2, 410-418. MR**2140038 (2006a:03053)****[18]**D. Haskell and D. Macpherson,*A version of o-minimality for the -adics*, J. Symbolic Logic**62**(1997), no. 4, 1075-1092. MR**1618009 (99j:03028)****[19]**J. Knight, A. Pillay, and C. Steinhorn,*Definable sets in ordered structures. II*, Trans. Amer. Math. Soc.**295**(1986), no. 2, 593-605. MR**833698 (88b:03050b)****[20]**M. Laskowski,*Vapnik-Chervonenkis classes of definable sets*, J. London Math. Soc. (2)**45**(1992), no. 2, 377-384. MR**1171563 (93d:03039)****[21]**M. Laskowski and C. Steinhorn,*On o-minimal expansions of Archimedean ordered groups*, J. Symbolic Logic**60**(1995), no. 3, 817-831. MR**1348995 (96i:03032)****[22]**A. Lewenberg,*On elementary pairs of o-minimal structures*, Ph.D. thesis, University of Illinois at Urbana-Champaign, 1995.**[23]**A. 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 (53:10574)****[24]**D. Macpherson, D. Marker, and C. Steinhorn,*Weakly o-minimal structures and real closed fields*, Trans. Amer. Math. Soc.**352**(2000), no. 12, 5435-5483 (electronic). MR**1781273 (2001i:03079)****[25]**C. Miller,*Expansions of dense linear orders with the intermediate value property*, J. Symbolic Logic**66**(2001), no. 4, 1783-1790. MR**1877021 (2003j:03044)****[26]**C. 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 (2006j:03049)****[27]**C. Miller,*Definable choice in d-minimal expansions of ordered groups*, preliminary report, available at`http://www.math.ohio-state.edu/~miller`.**[28]**C. Miller and P. Speissegger,*Expansions of the real line by open sets: o-minimality and open cores*, Fund. Math.**162**(1999), no. 3, 193-208. MR**1736360 (2001a:03083)****[29]**C. Miller and S. Starchenko,*A growth dichotomy for o-minimal expansions of ordered groups*, Trans. Amer. Math. Soc.**350**(1998), no. 9, 3505-3521. MR**1491870 (99e:03025)****[30]**C. Miller and J. Tyne,*Expansions of o-minimal structures by iteration sequences*, Notre Dame J. Formal Logic**47**(2006), no. 1, 93-99 (electronic). MR**2211185 (2006m:03065)****[31]**A. Onshuus,*Properties and consequences of thorn-independence*, J. Symbolic Logic**71**(2006), no. 1, 1-21. MR**2210053 (2007f:03047)****[32]**Y. Peterzil and S. Starchenko,*A trichotomy theorem for o-minimal structures*, Proc. London Math. Soc. (3)**77**(1998), no. 3, 481-523. MR**1643405 (2000b:03123)****[33]**Y. Peterzil and C. Steinhorn,*Definable compactness and definable subgroups of o-minimal groups*, J. London Math. Soc. (2)**59**(1999), no. 3, 769-786. MR**1709079 (2000i:03055)****[34]**A. Pillay and C. Steinhorn,*Definable sets in ordered structures*, Bull. Amer. Math. Soc. (N.S.)**11**(1984), no. 1, 159-162. MR**741730 (86c:03033)****[35]**A. Pillay and C. Steinhorn,*Definable sets in ordered structures. I*, Trans. Amer. Math. Soc.**295**(1986), no. 2, 565-592. MR**833697 (88b:03050a)****[36]**A. Pillay and C. Steinhorn,*Discrete -minimal structures*.**[37]**A. Pillay and C. Steinhorn,*Definable sets in ordered structures. III*, Trans. Amer. Math. Soc.**309**(1988), no. 2, 469-476. MR**943306 (89i:03059)****[38]**S. Randriambololona,*o-minimal structures: Low arity versus generation*, Illinois J. Math.**49**(2005), no. 2, 547-558 (electronic). MR**2164352 (2006f:03066)****[39]**A. Robinson,*Solution of a problem of Tarski*, Fund. Math.**47**(1959), 179-204. MR**0112841 (22:3690)****[40]**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/`.**[41]**B. Zilber,*Complex roots of unity on the real plane*(2003), preprint, available at`http://www.maths.ox.ac.uk/~zilber/publ.html`.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
03C64,
06F20

Retrieve articles in all journals with MSC (2000): 03C64, 06F20

Additional Information

**Alfred Dolich**

Affiliation:
Department of Mathematics and Computer Science, Chicago State University, Chicago, Illinois 60628

Address at time of publication:
Department of Mathematics, East Stroudsberg University, East Stroudsberg, Pennsylvania 18301

Email:
adolich@csu.edu

**Chris Miller**

Affiliation:
Department of Mathematics, 231 West 18th Avenue, The Ohio State University, Columbus, Ohio 43210

Email:
miller@math.ohio-state.edu

**Charles Steinhorn**

Affiliation:
Department of Mathematics, Vassar College, Poughkeepsie, New York 12604

Email:
steinhorn@vassar.edu

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

Keywords:
o-minimal,
open core,
ordered group,
ordered field,
uniform finiteness,
definably complete,
exchange property,
definable Skolem functions,
elimination of imaginaries,
independence property,
atomic model,
dense pair,
generic predicate,
tame pair

Received by editor(s):
January 7, 2008

Published electronically:
October 8, 2009

Additional Notes:
The second author was partially supported by NSF Grant DMS-9988855. The third author was partially supported by NSF Grant DMS-0070743.

Article copyright:
© Copyright 2009
American Mathematical Society