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

DOI10.4064/FM-136-3-133-145zbMath0808.03021OpenAlexW884752387MaRDI QIDQ3971940

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 arithmeticend extensionmodels of arithmeticcollection principle

Mathematics Subject Classification ID

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

Related Items (3)

End extensions of models of weak arithmetic theories ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ End extensions of models of fragments of \(\mathrm{PA}\)

This page was built for publication: End-extending models of $IΔ_0 + exp + ΒΣ_1$