← Back to Problems
Set Theory / Mathematical LogicResearchAI-Generated

Does the existence of ultraexacting cardinals remain consistent after arbitrary class forcing, and if so, which forcing notions preserve their defining reflection properties?

Related: Laver's theorem on supercompact cardinals and indestructibility, Woodin's results on the consistency strength of forcing axioms, Bagaria and Magidor work on large cardinal preservation under class forcing

Ultraexacting cardinals are among the most recently introduced large cardinal axioms, sitting near the upper reaches of the large cardinal hierarchy and defined by extremely strong elementary embedding and reflection conditions. A central open problem is whether these cardinals can survive arbitrary forcing extensions, meaning whether one can start with a universe containing an ultraexacting cardinal and apply forcing to change the universe without destroying that cardinal's defining properties. This is not known even for many simpler large cardinals, and for ultraexacting cardinals the problem is almost entirely unexplored. Specifically, which forcing notions are safe in the sense that they preserve ultraexactness, and which ones inevitably destroy it?

View Source Paper →