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