Descriptive inner model theory
From MaRDI portal
Abstract: A paper for general audience about descriptive inner model theory.
Recommendations
- Mouse sets
- Mini-workshop: Fine structure and inner model theory. Abstracts from the mini-workshop held November 8th -- November 14th, 2009
- Report 20/2006: Mini-workshop: Feinstrukturtheorie und innere Modelle (April 30th -- May 6th, 2006)
- The mouse set conjecture for sets of reals
- Suitable extender models. I
Cites work
- Believing the axioms. I
- Believing the axioms. II
- Coding with ladders a well ordering of the reals
- Descriptive set theory
- Does mathematics need new axioms?
- scientific article; zbMATH DE number 194101 (Why is no real title available?)
- scientific article; zbMATH DE number 567513 (Why is no real title available?)
- Inner models in the region of a Woodin limit of Woodin cardinals
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- On the consistency strength of the proper forcing axiom
- PFA implies ADL(β)
- Projectively well-ordered inner models
- Sets constructed from sequences of measures: Revisited
- Sets constructible from sequences of ultrafilters
- Stacking mice
- Strong ultrapowers and long core models
- THE ABC'S of Mice
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
- The determinacy of long games
- The largest countable inductive set is a mouse set
Cited in
(21)- Mouse sets
- Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable
- Inner model operators in \(L(\mathbb{R})\)
- Covering with Chang models over derived models
- Hod mice and the mouse set conjecture
- scientific article; zbMATH DE number 4047708 (Why is no real title available?)
- The largest countable inductive set is a mouse set
- THE ABC'S of Mice
- Foundational implications of the inner model hypothesis
- Covering with universally Baire operators
- Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
- SEALING OF THE UNIVERSALLY BAIRE SETS
- Translation procedures in descriptive inner model theory
- The mouse set conjecture for sets of reals
- π²πΎπΊπ πππ from iterability
- On -Strongly Measurable Cardinals
- Finer topologies on pointsets in Polish spaces
- WHAT IS A RESTRICTIVE THEORY?
- Determinacy axioms and large cardinals
- The exact consistency strength of the generic absoluteness for the universally Baire sets
- The consistency strength of determinacy when all sets are universally Baire
This page was built for publication: Descriptive inner model theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2837761)