End-extending models of IΔ_0 + exp + ΒΣ_1
From MaRDI portal
Publication:3971940
DOI10.4064/FM-136-3-133-145zbMATH Open0808.03021OpenAlexW884752387MaRDI QIDQ3971940FDOQ3971940
Recommendations
Cited In (24)
- A sharp version of the bounded Matijasevich conjecture and the end-extension problem
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
- End extensions of models of weak arithmetic theories
- On Extensions of Models of Strong Fragments of Arithmetic
- Title not available (Why is no real title available?)
- Structures interpretable in models of bounded arithmetic
- A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
- Title not available (Why is no real title available?)
- Elementary Extensions of Models of the Alternative Set Theory
- On the End Extension Problem For Δ0-PA(S)
- End-extensions of models of weak arithmetic from complexity-theoretic containments
- Marginalia on a theorem of Woodin
- On Wilkie and Paris's notion of fullness
- A Generalization of a Theorem of H. Friedman
- End extensions of models of arithmetic
- Title not available (Why is no real title available?)
- Minimal elementary end extensions
- A note on Σ1-maximal models
- Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme
- On two problems concerning end extensions
- End extensions of models of fragments of \(\mathrm{PA}\)
- Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions
- On the structure of models of bounded $E\sb 1$-induction
- Bounded existential induction
This page was built for publication: End-extending models of $IΔ_0 + exp + ΒΣ_1$
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3971940)
