Pages that link to "Item:Q3689171"
From MaRDI portal
The following pages link to On elementary cuts in recursively saturated models of Peano Arithmetic (Q3689171):
Displaying 17 items.
- Elementary cuts in saturated models of Peano arithmetic (Q424574) (← links)
- Truth in generic cuts (Q636338) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- Definable sets and expansions of models of Peano arithmetic (Q1102945) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- Minimal satisfaction classes with an application to rigid models of Peano arithmetic (Q1182707) (← links)
- On closed elementary cuts in recursively saturated models of Peano arithmetic (Q1309332) (← links)
- On maximal subgroups of the automorphism group of a countable recursively saturated model of PA (Q1314639) (← 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)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- Arithmetically saturated models of arithmetic (Q1913628) (← links)
- A note on the variety of satisfaction classes (Q2639847) (← links)
- The arithmetic of cuts in models of arithmetic (Q2856636) (← links)
- The Recursively Saturated Part of Models of Peano Arithmetic (Q3758814) (← links)
- Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely (Q4304154) (← links)
- HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? (Q6103456) (← links)
