Order with successors is not interprétable in RCF (Q4282771)
From MaRDI portal
scientific article; zbMATH DE number 519616
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Order with successors is not interprétable in RCF |
scientific article; zbMATH DE number 519616 |
Statements
Order with successors is not interprétable in RCF (English)
0 references
11 September 1994
0 references
interpretation
0 references
real closed field
0 references
first-order theory of linear order
0 references
successor
0 references
real number field
0 references
