The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two (Q892142)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two |
scientific article |
Statements
The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two (English)
0 references
18 November 2015
0 references
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.
0 references
o-minimality
0 references
field of real numbers
0 references
dense pairs
0 references
integer powers of two
0 references
field of real algebraic numbers
0 references
