Publication:4830329
From MaRDI portal
zbMath1072.03031MaRDI QIDQ4830329
Publication date: 8 December 2004
forcing; absoluteness; descriptive set theory; Woodin cardinal; Baire sets; generic ultrapower; stationary tower
03E15: Descriptive set theory
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03E35: Consistency and independence results
03E55: Large cardinals
03E40: Other aspects of forcing and Boolean-valued models
03E60: Determinacy principles
Related Items
Singularizing successor cardinals by forcing, Absoluteness via resurrection, UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS, DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE, A local Ramsey theory for block sequences, Strong measure zero in Polish groups, CANONICAL MODELS FOR FRAGMENTS OF THE AXIOM OF CHOICE, Mice with finitely many Woodin cardinals from optimal determinacy hypotheses, SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES, SEALING OF THE UNIVERSALLY BAIRE SETS, When a relation with all Borel sections will be Borel somewhere?, EMBEDDINGS INTO OUTER MODELS, Incompatible bounded category forcing axioms, On the universality of the nonstationary ideal, A note on sequences witnessing singularity, following Magidor and Sinapova, Local weak presaturation of the strongly non‐stationary ideal, Proof of a conjecture of Galvin, Woodin’s axiom (*), or Martin’s Maximum, or both?, Implications of very large cardinals, What makes the continuum ℵ₂, GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS, Σ1(κ)-DEFINABLE SUBSETS OF H(κ+), Splitting stationary sets in, ℙmax variations related to slaloms, Collapsing the cardinals of HOD, Martin's maximum revisited, The weak ultrafilter axiom, 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability, Countable ordinals in indiscernibility spectra, Some basic thoughts on the cofinalities of Chang structures with an application to forcing, Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers, Large cardinals at the brink, NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON, Ramsey ultrafilters and countable-to-one uniformization, Martin's maximum and tower forcing, Indestructible strong compactness but not supercompactness, Guessing models and generalized Laver diamond, Trivial automorphisms, Generic embeddings associated to an indestructibly weakly compact cardinal, An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN, Universally meager sets and principles of generic continuity and selection in Banach spaces, Martin's maximum and definability in \(H(\aleph_2\)), On almost precipitous ideals, Forcing notions in inner models, Generic absoluteness and Boolean names for elements of a Polish space, \(L(\mathbb{R}, \mu)\) is unique, Projective games on the reals, Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\), On countable stationary towers, Partition properties for simply definable colourings, Forcing and the universe of sets: must we lose insight?, Boolean-valued second-order logic, Coherent sequences and threads, The canonical function game, Applying generic coding with help to uniformizations, Second order arithmetic as the model companion of set theory, Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms, Questions on generalised Baire spaces, Hod mice and the Mouse Set Conjecture, Forcing, Multiverse and Realism
