End-extending models of IΔ_0 + exp + ΒΣ_1

DOI10.4064/FM-136-3-133-145zbMATH Open0808.03021OpenAlexW884752387MaRDI QIDQ3971940FDOQ3971940

Zofia Adamowicz

Publication date: 25 June 1992

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211824

zbMATH Keywords

forcingPeano arithmeticmodels of arithmeticend extensioncollection principle

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Cited In (9)

• 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
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
• Elementary Extensions of Models of the Alternative Set Theory
• On the End Extension Problem For Δ0-PA(S)
• End extensions of models of arithmetic
• 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

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)