Towards a generic absoluteness theorem for Chang models
From MaRDI portal
Cites work
- \(C ^{(n)}\)-cardinals
- A Proof of Projective Determinacy
- A stationary-tower-free proof of the derived model theorem
- An outline of inner model theory
- Borel Games and the Baire Property
- Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
- Core models with more Woodin cardinals
- Covering with Chang models over derived models
- Derived models and supercompact measures on \(\wp_{\omega_1}(\wp(\mathbb{R}))\)
- Determinacy in L(โ)
- Equiconsistencies at subcompact cardinals
- Hod mice and the mouse set conjecture
- scientific article; zbMATH DE number 5504385 (Why is no real title available?)
- scientific article; zbMATH DE number 5521846 (Why is no real title available?)
- scientific article; zbMATH DE number 218608 (Why is no real title available?)
- scientific article; zbMATH DE number 2121504 (Why is no real title available?)
- scientific article; zbMATH DE number 5785892 (Why is no real title available?)
- Iteration Trees
- Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
- Optimal Proofs of Determinacy
- ๐ฒ๐พ๐บ๐ ๐๐๐ from iterability
- The derived model theorem
- The exact consistency strength of the generic absoluteness for the universally Baire sets
- The ground axiom
- The sharp for the Chang model is small
- VARSOVIAN MODELS I
This page was built for publication: Towards a generic absoluteness theorem for Chang models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6970323)
