Model-theoretic properties characterizing Peano arithmetic
From MaRDI portal
Recommendations
- The structure of models of Peano arithmetic
- scientific article; zbMATH DE number 51556
- scientific article; zbMATH DE number 3875242
- Some highly saturated models of Peano arithmetic
- Provability logic: models within models in Peano arithmetic
- The Recursively Saturated Part of Models of Peano Arithmetic
- Models of Peano arithmetic as modules over initial segments
- scientific article; zbMATH DE number 1827971
- Definable sets and expansions of models of Peano arithmetic
- A model theoretic approach to proof theory of arithmetic
Cited in
(14)- Definable sets and expansions of models of Peano arithmetic
- The theory of \(\kappa\)-like models of arithmetic
- \(\text{PA} (aa)\)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Conservative extensions of models of set theory and generalizations
- Substructure lattices and almost minimal end extensions of models of Peano arithmetic
- scientific article; zbMATH DE number 3875242 (Why is no real title available?)
- scientific article; zbMATH DE number 65750 (Why is no real title available?)
- \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction
- Simple axioms that are obviously true in \(\mathbb{N}\)
- HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?
- On collection schemes and Gaifman's splitting theorem
- An isomorphism theorem for models of weak König's lemma without primitive recursion
- Submodels and definable points in models of Peano arithmetic
This page was built for publication: Model-theoretic properties characterizing Peano arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3985092)
