Pages that link to "Item:Q1314639"
From MaRDI portal
The following pages link to On maximal subgroups of the automorphism group of a countable recursively saturated model of PA (Q1314639):
Displaying 10 items.
- Automorphisms of models of true arithmetic: Recognizing some basic open subgroups (Q1333303) (← links)
- Infinitary definitions of equivalence relations in models of PA (Q1377633) (← links)
- On cofinal submodels and elementary interstices (Q1762352) (← links)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- Four problems concerning recursively saturated models of arithmetic (Q1913627) (← links)
- Arithmetically saturated models of arithmetic (Q1913628) (← links)
- A Galois correspondence for countable short recursively saturated models of PA (Q3566942) (← 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)
- Decoding in the automorphism group of a recursively saturated model of arithmetic (Q5258479) (← links)
