The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two
DOI10.1007/S00153-015-0446-7zbMATH Open1341.03040OpenAlexW2199435462MaRDI QIDQ892142FDOQ892142
Authors: Mohsen Khani 
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
Recommendations
- The field of reals with a predicate for the powers of two
- The field of \(p\)-adic numbers with a predicate for the powers of an integer
- scientific article; zbMATH DE number 2169345
- The real field with an irrational power function and a dense multiplicative subgroup
- Two classes of real numbers and formal power series: quasi algebraic objects
- Decidability of univariate real algebra with predicates for rational and integer powers
- scientific article
- On some representations of the real number field
- scientific article; zbMATH DE number 705075
Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Cites Work
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Title not available (Why is that?)
- Title not available (Why is that?)
- Externally definable sets and dependent pairs
- Defining the set of integers in expansions of the real field by a closed discrete set
- Title not available (Why is that?)
- The field of reals with a predicate for the powers of two
- Dimensions, matroids, and dense pairs of first-order structures
- Dependent pairs
- Title not available (Why is that?)
Cited In (3)
This page was built for publication: The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892142)
