Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

Interpreting the projective hierarchy in expansions of the real line


Authors: Philipp Hieronymi and Michael Tychonievich
Journal: Proc. Amer. Math. Soc. 142 (2014), 3259-3267
MSC (2010): Primary 03C64
DOI: https://doi.org/10.1090/S0002-9939-2014-12023-5
Published electronically: March 19, 2014
MathSciNet review: 3223381
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We give a criterion when an expansion of the ordered set of real numbers defines the image of $ (\mathbb{R},+,\cdot ,\mathbb{N})$ under a semialgebraic injection. In particular, we show that for a non-quadratic irrational number $ \alpha $, the expansion of the ordered $ \mathbb{Q}(\alpha )$-vector space of real numbers by $ \mathbb{N}$ defines multiplication on $ \mathbb{R}$.


References [Enhancements On Off] (What's this?)

  • [1] Tom M. Apostol, Modular functions and Dirichlet series in number theory, 2nd ed., Graduate Texts in Mathematics, vol. 41, Springer-Verlag, New York, 1990. MR 1027834 (90j:11001)
  • [2] Alan Baker, Transcendental number theory, Cambridge University Press, London, 1975. MR 0422171 (54 #10163)
  • [3] Harvey Friedman and Chris Miller, Expansions of o-minimal structures by sparse sets, Fund. Math. 167 (2001), no. 1, 55-64. MR 1816817 (2001m:03075), https://doi.org/10.4064/fm167-1-4
  • [4] Philipp Hieronymi, Defining the set of integers in expansions of the real field by a closed discrete set, Proc. Amer. Math. Soc. 138 (2010), no. 6, 2163-2168. MR 2596055 (2011j:03086), https://doi.org/10.1090/S0002-9939-10-10268-8
  • [5] Chris Miller, Expansions of dense linear orders with the intermediate value property, J. Symbolic Logic 66 (2001), no. 4, 1783-1790. MR 1877021 (2003j:03044), https://doi.org/10.2307/2694974
  • [6] Carlo Toffalori and Kathryn Vozoris, Notes on local o-minimality, MLQ Math. Log. Q. 55 (2009), no. 6, 617-632. MR 2582162 (2011g:03089), https://doi.org/10.1002/malq.200810016
  • [7] Volker Weispfenning, Mixed real-integer linear quantifier elimination, Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (Vancouver, BC), ACM, New York, 1999, pp. 129-136 (electronic). MR 1802076 (2002b:03071), https://doi.org/10.1145/309831.309888

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2010): 03C64

Retrieve articles in all journals with MSC (2010): 03C64


Additional Information

Philipp Hieronymi
Affiliation: Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 W. Green Street, Urbana, Illinois 61801
Email: P@hieronymi.de

Michael Tychonievich
Affiliation: Department of Mathematics, The Ohio State University, 231 West 18th Avenue, Columbus, Ohio 43210
Email: tycho@math.ohio-state.edu

DOI: https://doi.org/10.1090/S0002-9939-2014-12023-5
Received by editor(s): August 1, 2012
Received by editor(s) in revised form: September 13, 2012
Published electronically: March 19, 2014
Communicated by: Julia Knight
Article copyright: © Copyright 2014 American Mathematical Society

American Mathematical Society