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

dense pairsfield of real algebraic numbersfield of real numbersinteger powers of twoo-minimality

Mathematics Subject Classification ID

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

Review text

The paper studies properties of polynomially bounded o-minimal expansions of the field of real numbers. The author considers the theory of elementary dense pairs of models of such expansions. He proves that this theory is complete and axiomatises the field of real numbers with a predicate for the real algebraic numbers and a predicate for the integer powers of two. The author also describes types and definable sets of models of the theory and proves that this theory is dependent.

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

• 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
• 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?)
• 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)

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

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)