Fine structure and class forcing
From MaRDI portal
Publication:1575116
zbMath0954.03045MaRDI QIDQ1575116
Publication date: 20 August 2000
Published in: De Gruyter Series in Logic and Its Applications (Search for Journal in Brave)
Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Set theory (03Exx)
Related Items
Effectivity and reducibility with ordinal Turing machines ⋮ AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING ⋮ On the ‘definability of definable’ problem of Alfred Tarski, Part II ⋮ TAKING REINHARDT’S POWER AWAY ⋮ Characterizations of pretameness and the Ord-cc ⋮ A quasi-lower bound on the consistency strength of PFA ⋮ Generic Σ31 absoluteness ⋮ Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\) ⋮ The \(\ast\)-variation of the Banach-Mazur game and forcing axioms ⋮ Co-analytic mad families and definable wellorders ⋮ Operations, climbability and the proper forcing axiom ⋮ Cardinal characteristics, projective wellorders and large continuum ⋮ On the consistency strength of the inner model hypothesis ⋮ STRUCTURAL PROPERTIES OF THE STABLE CORE ⋮ Forcing revisited ⋮ Forcing and the universe of sets: must we lose insight? ⋮ A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings ⋮ The ground axiom is consistent with V $\neq $ HOD ⋮ Global singularization and the failure of SCH ⋮ Cardinal characteristics and projective wellorders ⋮ Parameter-free uniformisation ⋮ CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS ⋮ Cardinal transfer properties in extender models ⋮ Forcing, Multiverse and Realism ⋮ Large cardinals and definable well-orders, without the GCH ⋮ The stationarity of the collection of the locally regulars ⋮ Class Forcing in Class Theory ⋮ Hyperclass Forcing in Morse-Kelley Class Theory ⋮ Evidence for Set-Theoretic Truth and the Hyperuniverse Programme ⋮ On the Set-Generic Multiverse ⋮ Hypermachines ⋮ Projective well-orderings and bounded forcing axioms ⋮ Kelley–Morse set theory does not prove the class Fodor principle ⋮ A new condensation principle ⋮ Set-theoretic blockchains ⋮ Square and non-reflection in the context of \(\mathcal P_{\kappa}\lambda\) ⋮ The ground axiom ⋮ Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal ⋮ The internal consistency of Easton's theorem ⋮ Dense non-reflection for stationary collections of countable sets ⋮ Large cardinals and locally defined well-orders of the universe ⋮ Perfect trees and elementary embeddings ⋮ Morasses and finite support iterations ⋮ Borel Conjecture, dual Borel Conjecture, and other variants of the Borel Conjecture ⋮ Large cardinals and definable well-orders on the universe ⋮ Large cardinals and gap-1 morasses ⋮ The number of normal measures ⋮ Projective Measure Without Projective Baire ⋮ The hyperuniverse program ⋮ Forcings constructed along morasses ⋮ BPFA and projective well-orderings of the reals ⋮ □ on the singular cardinals ⋮ UNIVERSISM AND EXTENSIONS OF V ⋮ LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH ⋮ A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT ⋮ Killing The GCH Everywhere with a Single Real ⋮ Boolean-valued class forcing ⋮ MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
