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-7MaRDI QIDQ892142zbMATH OpenOpenAlexFDO

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

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)

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; zbMATH DE number 5953963
• On some representations of the real number field
• scientific article; zbMATH DE number 705075

Cites work

• scientific article; zbMATH DE number 956481 (Why is no real title available?)
• scientific article; zbMATH DE number 1187511 (Why is no real title available?)
• scientific article; zbMATH DE number 1043731 (Why is no real title available?)
• scientific article; zbMATH DE number 2222021 (Why is no real title available?)
• Defining the set of integers in expansions of the real field by a closed discrete set
• Dependent pairs
• Dimensions, matroids, and dense pairs of first-order structures
• Externally definable sets and dependent pairs
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• The field of reals with a predicate for the powers of two

Cited in

(3)

• Expansions of real closed fields that introduce no new smooth functions
• The field of reals with a predicate for the powers of two
• Definable functions in tame expansions of algebraically closed valued fields

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)