Characterizations of pretameness and the Ord-cc

DOI10.1016/j.apal.2018.04.002zbMath1469.03148arXiv1710.10825OpenAlexW2963502405WikidataQ129997808 ScholiaQ129997808MaRDI QIDQ2636530

Regula Krapf, Philipp Schlicht, Peter Holy

Publication date: 5 June 2018

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

class forcingforcing theoremnice namesOrd-ccpretameness

Mathematics Subject Classification ID

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

Related Items (12)

Indestructibility properties of Ramsey and Ramsey-like cardinals ⋮ AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING ⋮ TAKING REINHARDT’S POWER AWAY ⋮ STRUCTURAL PROPERTIES OF THE STABLE CORE ⋮ Absoluteness via resurrection ⋮ Inner mantles and iterated HOD ⋮ Forcing and the universe of sets: must we lose insight? ⋮ VARIETIES OF CLASS-THEORETIC POTENTIALISM ⋮ Kelley–Morse set theory does not prove the class Fodor principle ⋮ Set-theoretic blockchains ⋮ THE EXACT STRENGTH OF THE CLASS FORCING THEOREM ⋮ Boolean-valued class forcing

Cites Work

• Unnamed Item
• Set theory. An introduction to independence proofs
• Fine structure and class forcing
• CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
• Hyperclass Forcing in Morse-Kelley Class Theory
• Forcing with proper classes
• Long projective wellorderings

This page was built for publication: Characterizations of pretameness and the Ord-cc