Pages that link to "Item:Q3322105"
From MaRDI portal
The following pages link to On cofinal extensions of models of arithmetic (Q3322105):
Displayed 4 items.
- Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
- Saturation and simple extensions of models of Peano arithmetic (Q762144) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- Extendible Sets in Peano Arithmetic (Q3832550) (← links)