The following pages link to (Q5484945):
Displayed 50 items.
- Subsets coded in elementary end extensions (Q403405) (← links)
- Elementary cuts in saturated models of Peano arithmetic (Q424574) (← links)
- The automorphism group of a resplendent model (Q453194) (← links)
- Truth in generic cuts (Q636338) (← links)
- An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN (Q649610) (← links)
- Truth and consistency (Q660451) (← links)
- Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- Constant regions in models of arithmetic (Q894260) (← links)
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← 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)
- Transplendent models: expansions omitting a type (Q1762364) (← links)
- Destructibility and axiomatizability of Kaufmann models (Q2085581) (← links)
- The diversity of minimal cofinal extensions (Q2108579) (← links)
- Full satisfaction classes, definability, and automorphisms (Q2153826) (← links)
- R.e. Prime powers and total rigidity (Q2281321) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Models of weak theories of truth (Q2402953) (← links)
- Minimal elementary end extensions (Q2402959) (← links)
- Model-theoretic applications of cofinality spectrum problems (Q2408036) (← links)
- Duality, non-standard elements, and dynamic properties of r.e. sets (Q2630829) (← links)
- AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC (Q2795926) (← links)
- AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC (Q2921010) (← links)
- INTERPRETATIONS BETWEEN<i>ω</i>-LOGIC AND SECOND-ORDER ARITHMETIC (Q2933679) (← links)
- Infinite substructure lattices of models of Peano Arithmetic (Q3066799) (← links)
- The Complexity of Classification Problems for Models of Arithmetic (Q3163661) (← links)
- Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions (Q3170555) (← links)
- Interstitial and pseudo gaps in models of Peano Arithmetic (Q3552397) (← links)
- A Galois correspondence for countable short recursively saturated models of PA (Q3566942) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- ENAYAT MODELS OF PEANO ARITHMETIC (Q4647109) (← links)
- On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction (Q4915224) (← links)
- Pointwise definable models of set theory (Q4916549) (← links)
- ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC (Q5085859) (← links)
- Incomparable ω<sub>1</sub>‐like models of set theory (Q5108089) (← links)
- Rigid models of Presburger arithmetic (Q5108850) (← links)
- Neutrally expandable models of arithmetic (Q5108857) (← links)
- The classification of countable models of set theory (Q5119907) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)
- MINIMUM MODELS OF SECOND-ORDER SET THEORIES (Q5222524) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)
- NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE (Q5357325) (← links)
- Nondiversity in substructures (Q5387308) (← links)
- Generic cuts in models of arithmetic (Q5387325) (← links)
- UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS (Q5501767) (← links)