Pages that link to "Item:Q3566942"
From MaRDI portal
The following pages link to A Galois correspondence for countable short recursively saturated models of PA (Q3566942):
Displaying 4 items.
- Automorphisms of countable short recursively saturated models of PA (Q1049737) (← links)
- On maximal subgroups of the automorphism group of a countable recursively saturated model of PA (Q1314639) (← links)
- Automorphism groups of arithmetically saturated models (Q5477630) (← links)
- Closed normal subgroups of the automorphism group of a saturated model of Peano arithmetic (Q5963203) (← links)