Defining additive subgroups of the reals from convex subsets
From MaRDI portal
Publication:3182585
DOI10.1090/S0002-9939-09-09914-6zbMath1219.03040MaRDI QIDQ3182585
Publication date: 9 October 2009
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
14P10: Semialgebraic sets and related spaces
03C64: Model theory of ordered structures; o-minimality
Related Items
Dependent pairs, Expansions of o-minimal structures on the real field by trajectories of linear vector fields, Defining the set of integers in expansions of the real field by a closed discrete set
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Uniform first-order definitions in finitely generated fields
- The Undecidability of Algebraic Rings and Fields
- Avoiding the projective hierarchy in expansions of the real field by sequences
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
- THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
- THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS