The following pages link to (Q3968927):
Displayed 9 items.
- Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- Automorphisms of models of true arithmetic: Recognizing some basic open subgroups (Q1333303) (← links)
- Infinitary definitions of equivalence relations in models of PA (Q1377633) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC (Q2921010) (← links)