Class forcing, the forcing theorem and Boolean completions
Journal of Symbolic Logic. Bd. 81. H. 4. Cambridge: Cambridge University Press 2016 S. 1500 - 1530
Erscheinungsjahr: 2016
ISBN/ISSN: 1943-5886
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1017/jsl.2016.4
| Geprüft: | Bibliothek |
Inhaltszusammenfassung
Autoren
Holy, Peter (Autor)
Krapf, Regula (Autor)
Lücke, Philipp (Autor)
Njegomir, Anna (Autor)
Schlicht, Philipp (Autor)