Generic I0 at $\aleph_\omega$
Vincenzo Dimonte
TL;DR
This paper introduces a generic large cardinal similar to I0 at _, explores its implications at _, and reveals properties contrasting PCF theory in ZFC, especially in choiceless models.
Contribution
It defines a new generic large cardinal akin to I0 and analyzes its consequences at _, highlighting novel properties in choiceless inner models.
Findings
_ is Jf3nsson under this assumption
Many properties hold in choiceless models that differ from PCF in ZFC
The paper establishes a new large cardinal framework similar to I0
Abstract
In this paper it is introduced a generic large cardinal akin to I0, and its consequences are analyzed in the case that is such a generic large cardinal. In this case is J\'{o}nsson, and in a choiceless inner model many properties hold that are in contrast with PCF in ZFC.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Homotopy and Cohomology in Algebraic Topology · Rings, Modules, and Algebras