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-7zbMath1341.03040OpenAlexW2199435462MaRDI QIDQ892142

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

zbMATH Keywords

o-minimalitydense pairsfield of real algebraic numbersfield of real numbersinteger powers of two

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Expansions of real closed fields that introduce no new smooth functions

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

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