CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS

DOI10.1017/jsl.2016.4zbMath1402.03071arXiv1710.10820OpenAlexW2963484868MaRDI QIDQ2976344

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

Publication date: 28 April 2017

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.10820

zbMATH Keywords

class forcingBoolean completionsforcing theorem

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (13)

Indestructibility properties of Ramsey and Ramsey-like cardinals ⋮ AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING ⋮ TAKING REINHARDT’S POWER AWAY ⋮ Characterizations of pretameness and the Ord-cc ⋮ Absoluteness via resurrection ⋮ Forcing and the universe of sets: must we lose insight? ⋮ VARIETIES OF CLASS-THEORETIC POTENTIALISM ⋮ Sufficient conditions for the forcing theorem, and turning proper classes into sets ⋮ Hyperclass Forcing in Morse-Kelley Class Theory ⋮ Set-theoretic blockchains ⋮ THE EXACT STRENGTH OF THE CLASS FORCING THEOREM ⋮ Boolean-valued class forcing ⋮ MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING

Cites Work

• Unnamed Item
• Set theory. An introduction to large cardinals
• Fine structure and class forcing
• Models of set theory with definable ordinals

This page was built for publication: CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS