Recommendations
Cites work
- A universal extender model without large cardinals in V
- CHARACTERIZATION OF □κ IN CORE MODELS
- Coherent sequences and threads
- Combinatorial principles in the core model for one Woodin cardinal
- Forcing axioms and stationary sets
- scientific article; zbMATH DE number 567513 (Why is no real title available?)
- scientific article; zbMATH DE number 967740 (Why is no real title available?)
- The domestic levels of K^c are iterable
- The maximality of the core model
- Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
Cited in
(36)- Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
- A premouse inheriting strong cardinals from \(V\)
- Covering with Chang models over derived models
- The envelope of a pointclass under a local determinacy hypothesis
- In memoriam: James Earl Baumgartner (1943--2011)
- Perfect subtree property for weakly compact cardinals
- Descriptive inner model theory
- K without the measurable
- Nontame mouse from the failure of square at a singular strong limit cardinal
- Hod mice and the mouse set conjecture
- Combinatorial Dichotomies in Set Theory
- A brief account of recent developments in inner model theory
- The combinatorial essence of supercompactness
- VARSOVIAN MODELS I
- Covering with universally Baire operators
- Downward transference of mice and universality of local core models
- PFA and guessing models
- Strong unfoldability, shrewdness and combinatorial consequences
- A note on the normal filters extension property
- CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS
- Partial strong compactness and squares
- Square with built-in diamond-plus
- On -Strongly Measurable Cardinals
- Equiconsistencies at subcompact cardinals
- -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
- Determinacy axioms and large cardinals
- Strong tree properties, Kurepa trees, and guessing models
- Reflection principles, GCH and the uniformization properties
- The exact consistency strength of the generic absoluteness for the universally Baire sets
- Generic embeddings associated to an indestructibly weakly compact cardinal
- On the consistency strength of the proper forcing axiom
- Hjorth's reflection argument
- \(\mathsf{AD}^+\) implies \(\omega_1\) is a club \(\Theta\)-Berkeley cardinal
- On a conjecture regarding the mouse order for weasels
- On \(\omega\)-strongly measurable cardinals in \(\mathbb{P}_{\max}\) extensions
- Origin and development of the theory of coremodels. II
This page was built for publication: Stacking mice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3616355)
