scientific article; zbMATH DE number 2121504

Publication date: 8 December 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

forcing absoluteness descriptive set theory Woodin cardinal Baire sets generic ultrapower stationary tower

Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40) Determinacy principles (03E60)

Related Items (62)

EMBEDDINGS INTO OUTER MODELS ⋮ Ramsey ultrafilters and countable-to-one uniformization ⋮ Universally meager sets and principles of generic continuity and selection in Banach spaces ⋮ Martin's maximum and tower forcing ⋮ Hod mice and the Mouse Set Conjecture ⋮ Incompatible bounded category forcing axioms ⋮ Partition properties for simply definable colourings ⋮ Generic absoluteness and Boolean names for elements of a Polish space ⋮ $L(\mathbb{R}, \mu)$ is unique ⋮ 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 ⋮ Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ Implications of very large cardinals ⋮ What makes the continuum ℵ₂ ⋮ NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON ⋮ Singularizing successor cardinals by forcing ⋮ Absoluteness via resurrection ⋮ Forcing and the universe of sets: must we lose insight? ⋮ Applying generic coding with help to uniformizations ⋮ On the universality of the nonstationary ideal ⋮ A note on sequences witnessing singularity, following Magidor and Sinapova ⋮ The Calkin algebra, Kazhdan's property (T), and strongly self‐absorbing C∗$\mathrm{C}^*$‐algebras ⋮ GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS ⋮ Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺) ⋮ UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS ⋮ Local weak presaturation of the strongly non‐stationary ideal ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Indestructible strong compactness but not supercompactness ⋮ Generic embeddings associated to an indestructibly weakly compact cardinal ⋮ Second order arithmetic as the model companion of set theory ⋮ Guessing models and generalized Laver diamond ⋮ An improper arithmetically closed Borel subalgebra of $\mathcal P(\omega)$ mod FIN ⋮ Trivial automorphisms ⋮ DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE ⋮ Splitting stationary sets in ⋮ Forcing, Multiverse and Realism ⋮ Coherent sequences and threads ⋮ Proof of a conjecture of Galvin ⋮ Projective games on the reals ⋮ Martin's maximum and definability in $H(\aleph_2$) ⋮ On almost precipitous ideals ⋮ Collapsing the cardinals of HOD ⋮ Martin's maximum$^{++}$ implies Woodin's axiom $(*)$ ⋮ A local Ramsey theory for block sequences ⋮ Martin's maximum revisited ⋮ The weak ultrafilter axiom ⋮ Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms ⋮ Strong measure zero in Polish groups ⋮ ℙmax variations related to slaloms ⋮ CANONICAL MODELS FOR FRAGMENTS OF THE AXIOM OF CHOICE ⋮ Questions on generalised Baire spaces ⋮ Forcing notions in inner models ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES ⋮ 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability ⋮ The canonical function game ⋮ On countable stationary towers ⋮ Boolean-valued second-order logic ⋮ SEALING OF THE UNIVERSALLY BAIRE SETS ⋮ When a relation with all Borel sections will be Borel somewhere?

This page was built for publication: