Pages that link to "Item:Q3812219"
From MaRDI portal
The following pages link to Results on automorphisms of recursively saturated models of PA (Q3812219):
Displaying 6 items.
- Rank-initial embeddings of non-standard models of set theory (Q781504) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- Four problems concerning recursively saturated models of arithmetic (Q1913627) (← links)
- A Galois correspondence for countable short recursively saturated models of PA (Q3566942) (← links)