Supercompact Extender Based Magidor-Radin Forcing
Carmi Merimovich
TL;DR
This paper generalizes the extender-based Magidor-Radin forcing to incorporate supercompact type extenders, advancing the theoretical framework for large cardinal forcing techniques.
Contribution
It introduces a new forcing construction that extends Magidor-Radin forcing to supercompact extenders, broadening its applicability.
Findings
Established a generalized forcing framework for supercompact extenders.
Demonstrated consistency results using the new forcing.
Extended the applicability of Magidor-Radin forcing techniques.
Abstract
The extender based Magidor-Radin forcing is being generalized to supercompact type extenders.
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.