Publication:3480176
From MaRDI portal
zbMath0702.12007MaRDI QIDQ3480176
Publication date: 1990
Peano Arithmetic; ordered rings; totally ordered field; unary predicate; inductive real-closed fields
11U09: Model theory (number-theoretic aspects)
12J15: Ordered fields
12L12: Model theory of fields
03C07: Basic properties of first-order languages and structures
Related Items