Defining the set of integers in expansions of the real field by a closed discrete set
From MaRDI portal
Publication:3566681
DOI10.1090/S0002-9939-10-10268-8zbMath1233.03044arXiv0906.4972MaRDI QIDQ3566681
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
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