Set theory. Exploring independence and truth
determinacy, constructibilityelementary embeddingsextenderfine structureforcinginner modellarge cardinalsmeasurabilityrapid filterssharpstationary sets
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) Ordinal and cardinal numbers (03E10) Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)
This textbook is suitable for advanced students and researchers. It is assumed that the reader has a basic knowledge of set theory. The author develops the interplay of large cardinals, inner models, forcing, and descriptive set theory. He deals with questions that are relevant in current research. The material is given in a form that is accessible to students. In the first three chapters the author introduces the basic notions. In Chapter four he deals with stationary sets and large cardinals. He gives a proof of Solovay's theorem for partitioning stationary sets and studies inner models. In the following chapter he starts with descriptive set theory and its connection to constructibility. In Chapter eight he studies the Solovay model, a model of ZF in which every set of reals is Lebesgue-measurable and has the Baire property. In Chapter nine he investigates rapid filters. He gives a proof of Mokobodzki's theorem. This is used to give a proof of a theorem of Shelah concerning inaccessibility and Lebesgue-measurability. Chapter ten is devoted to measurable cardinals and elementary embeddings. The author develops the theory of iterated ultraproducts, gives a modern approach to sharps, and introduces short and large extenders. In Chapter eleven he develops the fine structure theory. He shows Jensen's Covering Lemma. The next chapter is devoted to analytic and full determinacy. The author shows Martin's Theorem for determinacy and Harrington's Theorem. In the last chapter he investigates projective determinacy. He shows that the existence of infinitely many Woodin cardinals implies projective determinacy. The book contains many interesting problems which help the reader to follow and understand the presented material. This very carefully written book can be recommended to everyone seriously interested in modern set theory.
- Fine structure and class forcing
- Recognizable sets and Woodin cardinals: computation beyond the constructible universe
- \(\mathbf{L}(\mathbb{R})\) with determinacy satisfies the Suslin hypothesis
- Book review of: R. Schindler, Set theory. Exploring independence and truth
- Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
- Was Ulam right? I: basic theory and subnormal ideals
- Forcing and the universe of sets: must we lose insight?
- A microscopic approach to Souslin-tree constructions. I.
- Preserving levels of projective determinacy by tree forcings
- A microscopic approach to Souslin-tree construction. II
- Non-stationary ideals and the universe of sets
- Forcing a set model of \(\mathsf{Z}_3\) + Harrington's principle
- Structural consequences of AD
- Handbook of Set Theory
- The Ultrapower Axiom
- Omitting types in logic of metric structures
- Hamel bases and well–ordering the continuum
- VARSOVIAN MODELS I
- Projective Measure Without Projective Baire
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
- Ineffable limits of weakly compact cardinals and similar results
- Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
- Geometric Set Theory
- Woodin’s axiom (*), or Martin’s Maximum, or both?
- Square with built-in diamond-plus
- EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE
- Uniformization and internal absoluteness
- Generalisations of stationarity, closed and unboundedness, and of Jensen's
- 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?
- SOME CONSEQUENCES OF AND
- The long extender algebra
- Forcing with invariant measures
- The structure of C(aa)
- The consistency strength of determinacy when all sets are universally Baire
- A model of the axiom of determinacy in which every set of reals is universally Baire
- On a conjecture regarding the mouse order for weasels
- The global \({\Sigma}_{n + 2}^1\)-uniformization property and \(\mathsf{BPFA} \)
- Origin and development of the theory of coremodels. I
- Origin and development of the theory of coremodels. II
- Analysis of HOD for admissible structures
This page was built for publication: Set theory. Exploring independence and truth
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2452710)
