Defining the set of integers in expansions of the real field by a closed discrete set

DOI10.1090/S0002-9939-10-10268-8zbMath1233.03044arXiv0906.4972MaRDI QIDQ3566681

Philipp Hieronymi

Publication date: 8 June 2010

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

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

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10) Model theory of ordered structures; o-minimality (03C64)

Related Items

Externally definable quotients and NIP expansions of the real ordered additive group ⋮ Interpreting the monadic second order theory of one successor in expansions of the real line ⋮ Interpreting the projective hierarchy in expansions of the real line ⋮ On expansions of the real field by complex subgroups ⋮ The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two ⋮ Expansions of the p‐adic numbers that interpret the ring of integers ⋮ Definably complete structures are not pseudo-enumerable ⋮ Expansions of the Real Field by Canonical Products ⋮ The set of restricted complex exponents for expansions of the reals ⋮ EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ Dependent pairs ⋮ An analogue of the Baire category theorem ⋮ DISTAL AND NON-DISTAL PAIRS ⋮ How to avoid a compact set ⋮ A FUNDAMENTAL DICHOTOMY FOR DEFINABLY COMPLETE EXPANSIONS OF ORDERED FIELDS ⋮ A tetrachotomy for expansions of the real ordered additive group ⋮ Expansions of o-minimal structures on the real field by trajectories of linear vector fields ⋮ When is scalar multiplication decidable? ⋮ Expansions of the real field by discrete subgroups of 𝐺𝑙_{𝑛}(ℂ)

Cites Work

• Unnamed Item
• Unnamed Item
• The field of reals with a predicate for the powers of two
• Expansions of o-minimal structures by sparse sets
• The real field with the rational points of an elliptic curve
• Defining additive subgroups of the reals from convex subsets
• Avoiding the projective hierarchy in expansions of the real field by sequences
• The model theory of the field of reals with a subgroup of the unit circle
• THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP