Illinois Journal of Mathematics

Coarse dimension and definable sets in expansions of the ordered real vector space

Erik Walsberg

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

Let ER. Suppose there is an s>0 such that |{kZ,mkm1:[k,k+1]E}|ms for all sufficiently large mN. Then there is an nN and a linear T:RnR such that T(En) is dense. As a corollary, we show that if E is in addition nowhere dense, then (R,<,+,0,(xλx)λR,E) defines every bounded Borel subset of every Rn.

Article information

Source
Illinois J. Math., Volume 64, Number 2 (2020), 141-149.

Dates
Received: 19 March 2019
Revised: 12 November 2019
First available in Project Euclid: 1 May 2020

Permanent link to this document
https://projecteuclid.org/euclid.ijm/1588298624

Digital Object Identifier
doi:10.1215/00192082-8303453

Mathematical Reviews number (MathSciNet)
MR4092952

Zentralblatt MATH identifier
07210953

Subjects
Primary: 03C64: Model theory of ordered structures; o-minimality

Citation

Walsberg, Erik. Coarse dimension and definable sets in expansions of the ordered real vector space. Illinois J. Math. 64 (2020), no. 2, 141--149. doi:10.1215/00192082-8303453. https://projecteuclid.org/euclid.ijm/1588298624


Export citation

References

  • [1] A. Fornasiero, P. Hieronymi, and C. Miller, A dichotomy for expansions of the real field, Proc. Amer. Math. Soc. 141 (2013), no. 2, 697–698.
  • [2] A. Fornasiero, P. Hieronymi, and E. Walsberg, How to avoid a compact set, Adv. Math. 317 (2017), 758–785.
  • [3] H. Friedman and C. Miller, Expansions of o-minimal structures by sparse sets, Fund. Math. 167 (2001), no. 1, 55–64.
  • [4] A. B. Gorman, P. Hieronymi, and E. Kaplan, Pairs of theories satisfying a Mordell–Lang condition, preprint, arXiv:1806.00030 [math.LO].
  • [5] P. Hieronymi and C. Miller, Metric dimensions and tameness in expansions of the real field, preprint, arXiv:1510.00964 [math.LO].
  • [6] P. Hieronymi and M. Tychonievich, Interpreting the projective hierarchy in expansions of the real line, Proc. Amer. Math. Soc. 142 (2014), no. 9, 3259–3267.
  • [7] P. Mattila, Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability, Cambridge Stud. Adv. Math. 44, Cambridge Univ. Press, Cambridge, 1995.
  • [8] C. Miller, Expansions of dense linear orders with the intermediate value property, J. Symbolic Logic 66 (2001), no. 4, 1783–1790.
  • [9] V. Weispfenning, “Mixed real-integer linear quantifier elimination” in Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (Vancouver, BC), ACM, New York, 1999, 129–136.
  • [10] Y. Yomdin and G. Comte, Tame geometry with application in smooth analysis, Lecture Notes in Math. 1834, Springer, Berlin, 2004.