End-extending models of
Fundamenta Mathematicae (1990)
- Volume: 136, Issue: 3, page 133-145
- ISSN: 0016-2736
Access Full Article
topHow to cite
topAdamowicz, Zofia. "End-extending models of $IΔ_0 + exp + ΒΣ_1$." Fundamenta Mathematicae 136.3 (1990): 133-145. <http://eudml.org/doc/211824>.
@article{Adamowicz1990,
author = {Adamowicz, Zofia},
journal = {Fundamenta Mathematicae},
keywords = {Peano arithmetic; collection principle; models of arithmetic; end extension; forcing},
language = {eng},
number = {3},
pages = {133-145},
title = {End-extending models of $IΔ_0 + exp + ΒΣ_1$},
url = {http://eudml.org/doc/211824},
volume = {136},
year = {1990},
}
TY - JOUR
AU - Adamowicz, Zofia
TI - End-extending models of $IΔ_0 + exp + ΒΣ_1$
JO - Fundamenta Mathematicae
PY - 1990
VL - 136
IS - 3
SP - 133
EP - 145
LA - eng
KW - Peano arithmetic; collection principle; models of arithmetic; end extension; forcing
UR - http://eudml.org/doc/211824
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.