Interpreting the projective hierarchy in expansions of the real line
From MaRDI portal
Publication:3190214
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
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
This page was built for publication: Interpreting the projective hierarchy in expansions of the real line