scientific article; zbMATH DE number 5048203

Publication date: 23 August 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (56)

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

This page was built for publication: