End-extending models of $IΔ_0 + exp + ΒΣ_1$
Volume 136 / 1990
Fundamenta Mathematicae 136 (1990), 133-145
DOI: 10.4064/fm-136-3-133-145