The Structural Reflection characterization of least large cardinals

Let κ\kappa be a cardinal. A cardinal is weakly inaccessible when it has the corresponding weak inaccessibility property in some inner model. An SRP is a Structural Reflection Principle, and a large-cardinal notion is a property defining a class of large cardinals.

Least-cardinal structural reflection conjecture. A cardinal κ\kappa is the least cardinal satisfying some large-cardinal notion if and only if κ\kappa is the least cardinal satisfying some Structural Reflection Principle that implies, in some inner model, that κ\kappa is weakly inaccessible.

This is presented as a further conjecture intended to give necessary and sufficient conditions for a cardinal to count as large. The source gives no resolution status.

Sources & referencesView supporting material

Primary source

Joan Bagaria and Claudio Ternullo, “Intrinsic Justification for Large Cardinals and Structural Reflection”, arXiv:2310.05841 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.