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):
Displayed 12 items.
- 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)
- 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)
- 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)