Class forcing, the forcing theorem, and Boolean completions

Philipp Schlicht, Peter Holy, Regula Krapf, Ana Njegomir, Philipp Lücke

Research output: Contribution to journalArticle (Academic Journal)peer-review

Original languageEnglish
Pages (from-to)1500-1530
Number of pages31
JournalJournal of Symbolic Logic
Volume81
Issue number4
Publication statusPublished - 2016

Cite this