Publication:5484945

From MaRDI portal


zbMath1101.03029MaRDI QIDQ5484945

Roman Kossak, James H. Schmerl

Publication date: 23 August 2006



03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03H15: Nonstandard models of arithmetic

03C62: Models of arithmetic and set theory


Related Items

ENAYAT MODELS OF PEANO ARITHMETIC, On the strength of Ramsey's theorem without Σ1‐induction, Pointwise definable models of set theory, ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC, Incomparable ω1‐like models of set theory, Rigid models of Presburger arithmetic, Neutrally expandable models of arithmetic, The classification of countable models of set theory, The Interpretation Existence Lemma, MINIMUM MODELS OF SECOND-ORDER SET THEORIES, 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE, Nondiversity in substructures, Generic cuts in models of arithmetic, UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS, MODELS OF PT WITH INTERNAL INDUCTION FOR TOTAL FORMULAE, MARGINALIA ON A THEOREM OF WOODIN, CP‐generic expansions of models of Peano Arithmetic, MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE, Subsets coded in elementary end extensions, Elementary cuts in saturated models of Peano arithmetic, The automorphism group of a resplendent model, Truth in generic cuts, An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN, Truth and consistency, Largest initial segments pointwise fixed by automorphisms of models of set theory, Independence results for variants of sharply bounded induction, Automorphisms of models of arithmetic: a unified view, Constant regions in models of arithmetic, Model theory of the regularity and reflection schemes, A standard model of Peano arithmetic with no conservative elementary extension, The proof-theoretic strength of Ramsey's theorem for pairs and two colors, Iterated ultrapowers for the masses, Fixed points of self-embeddings of models of arithmetic, On cofinal submodels and elementary interstices, Transplendent models: expansions omitting a type, Destructibility and axiomatizability of Kaufmann models, The diversity of minimal cofinal extensions, Full satisfaction classes, definability, and automorphisms, R.e. Prime powers and total rigidity, Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), Models of weak theories of truth, Minimal elementary end extensions, Model-theoretic applications of cofinality spectrum problems, Duality, non-standard elements, and dynamic properties of r.e. sets, AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC, AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC, INTERPRETATIONS BETWEENω-LOGIC AND SECOND-ORDER ARITHMETIC, Infinite substructure lattices of models of Peano Arithmetic, The Complexity of Classification Problems for Models of Arithmetic, Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions, Interstitial and pseudo gaps in models of Peano Arithmetic, A Galois correspondence for countable short recursively saturated models of PA, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08