Pages that link to "Item:Q3758816"
From MaRDI portal
The following pages link to <i>ω</i><sub>1</sub>-like recursively saturated models of Presburger's arithmetic (Q3758816):
Displaying 6 items.
- Recursively saturated \(\omega _ 1\)-like models of arithmetic (Q800912) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- NEARNESS RELATIONS IN DISCRETELY ORDERED RINGS (Q2752375) (← links)
- $L_{∞ ω_1}-elementary equivalence of $ω_1$-like models of PA (Q3335766) (← links)
- The structure of countable recursively saturated models (Q3988261) (← links)
- Rigid models of Presburger arithmetic (Q5108850) (← links)