A dichotomy for expansions of the real field
HTML articles powered by AMS MathViewer
- by Antongiulio Fornasiero, Philipp Hieronymi and Chris Miller PDF
- Proc. Amer. Math. Soc. 141 (2013), 697-698 Request permission
Abstract:
A dichotomy for expansions of the real field is established: Either $\mathbb Z$ is definable or every nonempty bounded nowhere dense definable subset of $\mathbb R$ has Minkowski dimension zero.References
- 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
- Kenneth Falconer, Fractal geometry, 2nd ed., John Wiley & Sons, Inc., Hoboken, NJ, 2003. Mathematical foundations and applications. MR 2118797, DOI 10.1002/0470013850
- K. J. Falconer and J. D. Howroyd, Projection theorems for box and packing dimensions, Math. Proc. Cambridge Philos. Soc. 119 (1996), no. 2, 287–295. MR 1357045, DOI 10.1017/S0305004100074168
- Harvey Friedman, Krzysztof Kurdyka, Chris Miller, and Patrick Speissegger, Expansions of the real field by open sets: definability versus interpretability, J. Symbolic Logic 75 (2010), no. 4, 1311–1325. MR 2767970, DOI 10.2178/jsl/1286198148
- Ayhan Günaydın, Model theory of fields with multiplicative groups, Ph.D. thesis, Univ. of Illinois at Urbana-Champaign, 2008.
- Philipp Hieronymi, Expansions of subfields of the real field by a discrete set, Fund. Math. 215 (2011), no. 2, 167–175. MR 2860183, DOI 10.4064/fm215-2-4
Additional Information
- Antongiulio Fornasiero
- Affiliation: Institut für Mathematische Logik, Einsteinstrasse 62, 48149 Münster, Germany
- MR Author ID: 794986
- Email: antongiulio.fornasiero@googlemail.com
- Philipp Hieronymi
- Affiliation: Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 West Green Street, Urbana, Illinois 61801
- MR Author ID: 894309
- Email: p@hieronymi.de
- Chris Miller
- Affiliation: Department of Mathematics, The Ohio State University, 231 West 18th Avenue, Columbus, Ohio 43210
- MR Author ID: 330760
- Email: miller@math.osu.edu
- Received by editor(s): May 13, 2011
- Received by editor(s) in revised form: July 17, 2011
- Published electronically: July 13, 2012
- Additional Notes: The research of the third author was partly supported by NSF Grant DMS-1001176.
- Communicated by: Julia Knight
- © Copyright 2012
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 141 (2013), 697-698
- MSC (2010): Primary 03C64; Secondary 28A75
- DOI: https://doi.org/10.1090/S0002-9939-2012-11369-3
- MathSciNet review: 2996974