Original language | English |
---|---|
Pages (from-to) | 1500-1530 |
Number of pages | 31 |
Journal | Journal of Symbolic Logic |
Volume | 81 |
Issue number | 4 |
Publication status | Published - 2016 |
Class forcing, the forcing theorem, and Boolean completions
Philipp Schlicht, Peter Holy, Regula Krapf, Ana Njegomir, Philipp Lücke
Research output: Contribution to journal › Article (Academic Journal) › peer-review