The structure of models of Peano arithmetic
From MaRDI portal
Publication:5484945
Cited in
(65)- Saturation properties for compositional truth with propositional correctness
- Indiscernibles and satisfaction classes in arithmetic
- CP‐generic expansions of models of Peano Arithmetic
- Pathologies in satisfaction classes
- Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
- The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem
- Automorphism groups of countable arithmetically saturated models of Peano arithmetic
- On the strength of Ramsey's theorem without \(\Sigma _{1}\)-induction
- UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- Model theory of the regularity and reflection schemes
- R.e. Prime powers and total rigidity
- The interpretation existence lemma
- Fixed points of self-embeddings of models of arithmetic
- Truth and consistency
- A Galois correspondence for countable short recursively saturated models of PA
- Neutrally expandable models of arithmetic
- Models of weak theories of truth
- Elementary cuts in saturated models of Peano arithmetic
- Destructibility and axiomatizability of Kaufmann models
- Enayat models of Peano arithmetic
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors
- Minimal elementary end extensions
- Pointwise definable models of set theory
- Interpretations between \(\omega\)-logic and second-order arithmetic
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
- Generic cuts in models of arithmetic
- A standard model of Peano arithmetic with no conservative elementary extension
- scientific article; zbMATH DE number 51556 (Why is no real title available?)
- Full satisfaction classes, definability, and automorphisms
- Subsets coded in elementary end extensions
- The diversity of minimal cofinal extensions
- Largest initial segments pointwise fixed by automorphisms of models of set theory
- Independence results for variants of sharply bounded induction
- Infinite substructure lattices of models of Peano Arithmetic
- Model-theoretic applications of cofinality spectrum problems
- Constant regions in models of arithmetic
- The classification of countable models of set theory
- On the structure of initial segments of models of arithmetic
- Incomparable \(\omega_1\)-like models of set theory
- Iterated ultrapowers for the masses
- Model-theoretic properties characterizing Peano arithmetic
- Transplendent models: expansions omitting a type
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
- Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions
- Order types of models of fragments of Peano arithmetic
- Duality, non-standard elements, and dynamic properties of r.e. sets
- Nondiversity in substructures
- scientific article; zbMATH DE number 3882428 (Why is no real title available?)
- Rigid models of Presburger arithmetic
- Submodels and definable points in models of Peano arithmetic
- Marginalia on a theorem of Woodin
- Automorphism groups of saturated models of Peano arithmetic
- An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN
- The complexity of classification problems for models of arithmetic
- The automorphism group of a resplendent model
- Automorphisms of models of arithmetic: a unified view
- Models of \(\mathrm{PT}^-\) with internal induction for total formulae
- Minimum models of second-order set theories
- Truth in generic cuts
- Interstitial and pseudo gaps in models of Peano 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
- Notes on bounded induction for the compositional truth predicate
- On cofinal submodels and elementary interstices
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)
