Pages that link to "Item:Q1823930"
From MaRDI portal
The following pages link to The \({\mathcal L}^{<\omega}\)-theory of the class of Archimedian real closed fields (Q1823930):
Displaying 4 items.
- On the elimination of Malitz quantifiers over Archimedian real closed fields (Q584248) (← links)
- La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field) (Q1408109) (← links)
- Generalized Archimedean fields and logics with Malitz quantifiers (Q3315497) (← links)
- The Malitz logic for Archimedean models (Q3995674) (← links)