The structure of models of Peano arithmetic
From MaRDI portal
Cited in
(72)- On the structure of initial segments of models of arithmetic
- 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
- Editor's introduction to the special issue on ``Models of arithmetic
- 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
- scientific article; zbMATH DE number 3882428 (Why is no real title available?)
- 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
- Model-theoretic properties characterizing Peano arithmetic
- scientific article; zbMATH DE number 51556 (Why is no real title available?)
- Subsets coded in elementary end extensions
- Elementary cuts in saturated models of Peano arithmetic
- The automorphism group of a resplendent model
- Enayat models of Peano arithmetic
- On the strength of Ramsey's theorem without \(\Sigma _{1}\)-induction
- Pointwise definable models of set theory
- Numbers and their structure. Mathematical and philosophical studies in the ambience of the ideas of natural and real numbers and their non-standard models
- Order types of models of fragments of Peano arithmetic
- Incomparable \(\omega_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 \(\mathrm{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
- The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem
- Pathologies in satisfaction classes
- Truth in generic cuts
- An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN
- Indiscernibles and satisfaction classes in arithmetic
- Truth and consistency
- Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
- Saturation properties for compositional truth with propositional correctness
- Largest initial segments pointwise fixed by automorphisms of models of set theory
- Satisfaction is not absolute
- The pentagon as a substructure lattice of models of Peano arithmetic
- Satisfaction classes with approximate disjunctive correctness
- The structural complexity of models of arithmetic
- Independence results for variants of sharply bounded induction
- Some notes on uncountable models of arithmetic
- The lattice problem for models of \(\mathsf{PA}\)
- Submodels and definable points in models of Peano arithmetic
- 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
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)
