The equivalence of axiom ( )^+ and axiom ( )^+ +
From MaRDI portal
Publication:6877210
Cites work
- K without the measurable
- A Comparison Process for Mouse Pairs
- A Proof of Projective Determinacy
- Certain very large cardinals are not created in small forcing extensions
- Descriptive set theory
- Extensions with the approximation and cover properties have no new large cardinals
- Happy families
- scientific article; zbMATH DE number 3954895 (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 6423843 (Why is no real title available?)
- scientific article; zbMATH DE number 967740 (Why is no real title available?)
- scientific article; zbMATH DE number 5785892 (Why is no real title available?)
- Large cardinals from determinacy
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
- On the consistency strength of the proper forcing axiom
- Optimal Proofs of Determinacy
- SET FORCING AND STRONG CONDENSATION FORH(ω2)
- Stationary reflection and the universal Baire property
- Suitable extender models. I
- The continuum hypothesis, the generic-multiverse of sets, and the conjecture
- The downward directed grounds hypothesis and very large cardinals
- The ground axiom
- The higher infinite. Large cardinals in set theory from their beginnings.
- The nonstationary ideal in the ℙmax extension
This page was built for publication: The equivalence of axiom \(( \ast )^+\) and axiom \(( \ast )^{+ +}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6877210)
