Existentially closed models in the framework of arithmetic
From MaRDI portal
Recommendations
- On the structure of initial segments of models of arithmetic
- Submodels and definable points in models of Peano arithmetic
- Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme
- Existentially Closed Models and Conservation Results in Bounded Arithmetic
- On the structure of models of bounded $E\sb 1$-induction
Cites work
- Algebraic properties of number theories
- Forcing, arithmetic, division rings
- scientific article; zbMATH DE number 51556 (Why is no real title available?)
- scientific article; zbMATH DE number 227056 (Why is no real title available?)
- On the scheme of induction for bounded arithmetic formulas
- The forcing companions of number theories
Cited in
(10)- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
- Existentially Closed Models and Conservation Results in Bounded Arithmetic
- On Models Constructed by Means of the Arithmetized Completeness Theorem
- Restricted polynomial induction versus ordinary induction
- The small-is-very-small principle
- Submodel lattices of existentially closed models of arithmetic
- Strong initial segments of models of IΔ0
- A note on Σ1-maximal models
- The modal logic of arithmetic potentialism and the universal algorithm
This page was built for publication: Existentially closed models in the framework of arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3188343)
