Pages that link to "Item:Q584248"
From MaRDI portal
The following pages link to On the elimination of Malitz quantifiers over Archimedian real closed fields (Q584248):
Displaying 4 items.
- Models with second order properties. IV. A general method and eliminating diamonds (Q762058) (← links)
- The \({\mathcal L}^{<\omega}\)-theory of the class of Archimedian real closed fields (Q1823930) (← links)
- Generalized Archimedean fields and logics with Malitz quantifiers (Q3315497) (← links)
- The Malitz logic for Archimedean models (Q3995674) (← links)