Pages that link to "Item:Q1333303"
From MaRDI portal
The following pages link to Automorphisms of models of true arithmetic: Recognizing some basic open subgroups (Q1333303):
Displaying 6 items.
- On maximal subgroups of the automorphism group of a countable recursively saturated model of PA (Q1314639) (← links)
- Infinitary definitions of equivalence relations in models of PA (Q1377633) (← links)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC (Q2921010) (← links)
- Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely (Q4304154) (← links)
- Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts (Q4323838) (← links)
