THE EXACT STRENGTH OF THE CLASS FORCING THEOREM

DOI10.1017/jsl.2019.89zbMath1485.03216arXiv1707.03700OpenAlexW2735560022MaRDI QIDQ5855740

Philipp Schlicht, Joel David Hamkins, Victoria Gitman, Kameryn J. Williams, Peter Holy

Publication date: 19 March 2021

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

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

zbMATH Keywords

infinitary logicclass forcingforcing theoremtruth predicates

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (8)

AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING ⋮ Inner-model reflection principles ⋮ First‐order undefinability of the notion of transfinitely uplifting cardinals ⋮ Choiceless large cardinals and set‐theoretic potentialism ⋮ VARIETIES OF CLASS-THEORETIC POTENTIALISM ⋮ Kelley–Morse set theory does not prove the class Fodor principle ⋮ MINIMUM MODELS OF SECOND-ORDER SET THEORIES ⋮ Boolean-valued class forcing

Cites Work

• Algebraicity and implicit definability in set theory
• Classes and truths in set theory
• Characterizations of pretameness and the Ord-cc
• RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES
• CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
• MINIMUM MODELS OF SECOND-ORDER SET THEORIES
• Open determinacy for class games
• Unnamed Item

This page was built for publication: THE EXACT STRENGTH OF THE CLASS FORCING THEOREM