The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two
From MaRDI portal
Publication:892142
DOI10.1007/s00153-015-0446-7zbMath1341.03040MaRDI QIDQ892142
Publication date: 18 November 2015
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-015-0446-7
o-minimality; dense pairs; field of real algebraic numbers; field of real numbers; integer powers of two
03C64: Model theory of ordered structures; o-minimality
12L12: Model theory of fields
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dimensions, matroids, and dense pairs of first-order structures
- The field of reals with a predicate for the powers of two
- Externally definable sets and dependent pairs
- Dependent pairs
- Defining the set of integers in expansions of the real field by a closed discrete set
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function