Intrinsic Justification for Large Cardinals and Structural Reflection

Abstract

We deal with the issue of whether large cardinals are intrinsically justified set-theoretic principles (Intrinsicness Issue). To this end, we review, in a systematic fashion, the abstract principles that have been formulated to motivate them and their mathematical expressions, and assess their intrinsic justifiability. A parallel, but closely linked, issue is whether there exist mathematical principles that yield all large cardinals (Universality Issue), and we also test principles for their ability to respond to this issue. Finally, we discuss Structural Reflection Principles and their responses to Intrinsicness and Universality, and also make some further considerations on their general justifiability.