The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two (Q892142): Difference between revisions

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.