scientific article; zbMATH DE number 5785892

Publication date: 14 September 2010

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

consistency inner models covering lemma forcing axioms club proper forcing combinatorial principle axiom of determinacy Woodin cardinal nonstationary ideal Martin's Maximum canonical model in which CH is false

Mathematics Subject Classification ID

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) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Determinacy principles (03E60) Set theory (03Exx)

Related Items (54)

The size of the class of countable sequences of ordinals ⋮ Compactness versus hugeness at successor cardinals ⋮ ℙ_max variations for separating club guessing principles ⋮ Ramsey ultrafilters and countable-to-one uniformization ⋮ Rigid ideals ⋮ Turing Determinacy and Suslin sets ⋮ Forcing axioms and the complexity of non-stationary ideals ⋮ On a class of maximality principles ⋮ Maximal almost disjoint families, determinacy, and forcing ⋮ Category-measure duality: convexity, midpoint convexity and Berz sublinearity ⋮ Capacitability for Co-Analytic Sets ⋮ Incompatible bounded category forcing axioms ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ \(L(\mathbb{R}, \mu)\) is unique ⋮ A forcing axiom for a non-special Aronszajn tree ⋮ Countable ordinals in indiscernibility spectra ⋮ Weak saturation properties and side conditions ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ GENERIC LARGE CARDINALS AS AXIOMS ⋮ An undecidable extension of Morley's theorem on the number of countable models ⋮ Recognizable sets and Woodin cardinals: computation beyond the constructible universe ⋮ Non-absoluteness of Hjorth’s cardinal characterization ⋮ Partitioning a reflecting stationary set ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Iterated elementary embeddings and the model theory of infinitary logic ⋮ Set theory. Abstracts from the workshop held January 9--15, 2022 ⋮ Beyond Borel-amenability: scales and superamenable reducibilities ⋮ Beyond Lebesgue and Baire. IV: Density topologies and a converse Steinhaus-Weil theorem ⋮ Borel subsets of the real line and continuous reducibility ⋮ Trivial automorphisms ⋮ \(\mathbf{L}(\mathbb{R})\) with determinacy satisfies the Suslin hypothesis ⋮ Strongly proper forcing and some problems of Foreman ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture ⋮ Continuous reducibility and dimension of metric spaces ⋮ Inner models from extended logics: Part 1 ⋮ Unnamed Item ⋮ NAMBA FORCING, WEAK APPROXIMATION, AND GUESSING ⋮ FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION ⋮ Square principles in \(\mathbb{P}_{\max}\) extensions ⋮ The cardinals below \(|[\omega_{1}^{<\omega _{1}}|\)] ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations ⋮ A WELLORDER OF THE REALS WITH SATURATED ⋮ Chang's conjecture and semiproperness of nonreasonable posets ⋮ Ordinal definability and combinatorics of equivalence relations ⋮ \(\Sigma_3^1\) absoluteness and the second uniform indiscernible ⋮ More rigid ideals ⋮ NS SATURATED AND -DEFINABLE ⋮ 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability ⋮ How Woodin changed his mind: new thoughts on the continuum hypothesis ⋮ SEALING OF THE UNIVERSALLY BAIRE SETS ⋮ GENERIC CODING WITH HELP AND AMALGAMATION FAILURE ⋮ Uniformity, universality, and computability theory ⋮ The AD+ conjecture and the continuum hypothesis

This page was built for publication: