The structure of models of Peano arithmetic

zbMATH Open1101.03029MaRDI QIDQ5484945FDOQ5484945

Authors: Roman Kossak, James H. Schmerl 

Publication date: 23 August 2006

Recommendations

• scientific article
• scientific article; zbMATH DE number 7183906
• scientific article; zbMATH DE number 3882428
• scientific article; zbMATH DE number 227056
• scientific article; zbMATH DE number 4006270

Mathematics Subject Classification ID

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

Cited In (65)

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

This page was built for publication: The structure of models of Peano arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5484945)