Pages that link to "Item:Q4096940"
From MaRDI portal
The following pages link to Models and types of Peano's arithmetic (Q4096940):
Displaying 36 items.
- Rank-initial embeddings of non-standard models of set theory (Q781504) (← links)
- Minimal elementary extensions of models of set theory and arithmetic (Q810502) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- Ultrafilters and types on models of arithmetic (Q1058509) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- A weakly definable type which is not definable (Q1313603) (← 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)
- Iterated ultrapowers for the masses (Q1661675) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- On cofinal submodels and elementary interstices (Q1762352) (← links)
- Ehrenfeucht's lemma in set theory (Q1782238) (← links)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- Four problems concerning recursively saturated models of arithmetic (Q1913627) (← links)
- \(\text{PA} (aa)\) (Q1913630) (← links)
- End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← links)
- Tanaka's theorem revisited (Q2204369) (← links)
- Sub-arithmetical ultrapowers: A survey (Q2276952) (← links)
- R.e. Prime powers and total rigidity (Q2281321) (← links)
- Model-theoretic applications of cofinality spectrum problems (Q2408036) (← links)
- Weakly Definable Types (Q3028989) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 (Q3030791) (← links)
- The Complexity of Classification Problems for Models of Arithmetic (Q3163661) (← links)
- Interstitial and pseudo gaps in models of Peano Arithmetic (Q3552397) (← links)
- Some observations on the substructure lattice of a Δ1 ultrapower (Q3566950) (← links)
- Scott's problem for Proper Scott sets (Q3617365) (← links)
- Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic (Q3807185) (← links)
- A new omitting types theorem for <i>L(Q)</i> (Q3863864) (← links)
- Recursively saturated nonstandard models of arithmetic (Q3966138) (← links)
- A model of peano arithmetic with no elementary end extension (Q4168613) (← links)
- Automorphism groups of models of Peano arithmetic (Q4451717) (← links)
- Finite Substructure Lattices of Models of Peano Arithmetic (Q4695582) (← links)
- The classification of countable models of set theory (Q5119907) (← links)
- Decoding in the automorphism group of a recursively saturated model of arithmetic (Q5258479) (← links)