The Structural Reflection characterization of least large cardinals
The Structural Reflection characterization of least large cardinals
Let 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 is the least cardinal satisfying some large-cardinal notion if and only if is the least cardinal satisfying some Structural Reflection Principle that implies, in some inner model, that 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.