Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

Remote Access
Green Open Access
Proceedings of the American Mathematical Society
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
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?)

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

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

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