Interpreting the projective hierarchy in expansions of the real line

DOI10.1090/S0002-9939-2014-12023-5zbMath1337.03054arXiv1203.6299MaRDI QIDQ3190214

Philipp Hieronymi, Michael A. Tychonievich

Publication date: 16 September 2014

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.6299

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64)

Related Items (9)

Expansions of o-minimal structures by dense independent sets ⋮ Interpreting the monadic second order theory of one successor in expansions of the real line ⋮ Coarse dimension and definable sets in expansions of the ordered real vector space ⋮ A wild model of linear arithmetic and discretely ordered modules ⋮ EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS ⋮ How to avoid a compact set ⋮ A tetrachotomy for expansions of the real ordered additive group ⋮ When is scalar multiplication decidable? ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Expansions of o-minimal structures by sparse sets
• Defining the set of integers in expansions of the real field by a closed discrete set
• Notes on local o-minimality
• Expansions of dense linear orders with the intermediate value property

This page was built for publication: Interpreting the projective hierarchy in expansions of the real line