Set theory. Exploring independence and truth

DOI10.1007/978-3-319-06725-4zbMath1296.03002OpenAlexW4240901689MaRDI QIDQ2452710

Ralf-Dieter Schindler

Publication date: 4 June 2014

Published in: Universitext (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06725-4

zbMATH Keywords

sharpforcinginner modelextenderlarge cardinalsmeasurabilityfine structurestationary setselementary embeddingsrapid filtersdeterminacy, constructibility

Mathematics Subject Classification ID

Descriptive set theory (03E15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) 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) Ordinal and cardinal numbers (03E10) Determinacy principles (03E60)

Related Items (27)

Uniformization and internal absoluteness ⋮ Omitting types in logic of metric structures ⋮ Hamel bases and well–ordering the continuum ⋮ Preserving levels of projective determinacy by tree forcings ⋮ A microscopic approach to Souslin-tree construction. II ⋮ A microscopic approach to Souslin-tree constructions. I. ⋮ VARSOVIAN MODELS I ⋮ Forcing a set model of Z3 + Harrington's Principle ⋮ Generalisations of stationarity, closed and unboundedness, and of Jensen's \(\square\) ⋮ Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ When is a real generic over L? ⋮ An undecidable extension of Morley's theorem on the number of countable models ⋮ How many real numbers are there? ⋮ Forcing and the universe of sets: must we lose insight? ⋮ SOME CONSEQUENCES OF AND ⋮ Recognizable sets and Woodin cardinals: computation beyond the constructible universe ⋮ SQUARE WITH BUILT-IN DIAMOND-PLUS ⋮ EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE ⋮ \(\mathbf{L}(\mathbb{R})\) with determinacy satisfies the Suslin hypothesis ⋮ The Ultrapower Axiom ⋮ Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom ⋮ The long extender algebra ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ Projective Measure Without Projective Baire ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ Ineffable limits of weakly compact cardinals and similar results ⋮ Was Ulam right? I: basic theory and subnormal ideals

This page was built for publication: Set theory. Exploring independence and truth