Pages that link to "Item:Q4196409"
From MaRDI portal
The following pages link to Toward model theory through recursive saturation (Q4196409):
Displayed 17 items.
- Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
- Rank-initial embeddings of non-standard models of set theory (Q781504) (← links)
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- Minimal elementary extensions of models of set theory and arithmetic (Q810502) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- Definable sets and expansions of models of Peano arithmetic (Q1102945) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- Condensable models of set theory (Q2144608) (← links)
- Full satisfaction classes, definability, and automorphisms (Q2153826) (← links)
- A note on the variety of satisfaction classes (Q2639847) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- Recursively Saturated Models of Set Theory (Q3902995) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- BI-INTERPRETATION IN WEAK SET THEORIES (Q5159491) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)