The following pages link to (Q4004805):
Displayed 4 items.
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- On maximal subgroups of the automorphism group of a countable recursively saturated model of PA (Q1314639) (← links)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- Arithmetically saturated models of arithmetic (Q1913628) (← links)