The following pages link to (Q4656807):
Displaying 13 items.
- Automorphisms of saturated and boundedly saturated models of arithmetic (Q645748) (← links)
- Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
- Rank-initial embeddings of non-standard models of set theory (Q781504) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- On closed elementary cuts in recursively saturated models of Peano arithmetic (Q1309332) (← links)
- On two questions concerning the automorphism groups of countable recursively saturated models of PA (Q1354336) (← links)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- A Galois correspondence for countable short recursively saturated models of PA (Q3566942) (← links)
- On elementary cuts in recursively saturated models of Peano Arithmetic (Q3689171) (← links)
- (Q3708015) (← links)
- Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts (Q4323838) (← links)
- Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets (Q4372852) (← links)
- Some highly saturated models of Peano arithmetic (Q4451718) (← links)
