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

Handle.net

@article{9263727b78e74cd7b3482386cbe93322,

title = "Class forcing, the forcing theorem, and Boolean completions",

author = "Philipp Schlicht and Peter Holy and Regula Krapf and Ana Njegomir and Philipp L{\"u}cke",

year = "2016",

language = "English",

volume = "81",

pages = "1500--1530",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "4",

}