Magidor-like forcing and the cofinality of the Galvin number
Shimon Garti
TL;DR
This paper demonstrates how to use forcing over a model of AD to make the Galvin number's cofinality countable, exploring the interplay between forcing and cardinal characteristics.
Contribution
It introduces a Magidor-like forcing technique to control the cofinality of the Galvin number in models of AD.
Findings
Galvin number can have countable cofinality after forcing.
New forcing method inspired by Magidor's construction.
Consistency results under AD assumptions.
Abstract
We force over a model of AD to obtain the consistency of the Galvin number having countable cofinality.
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.