The Limits of Arithmetical Pluralism: Incompleteness, Large Cardinals, and Graded Non-Pluralism
En palabras de los autores
G\"odelian incompleteness yields arithmetical sentences such that and are both consistent. Are such extensions equally legitimate? I propose graded epistemic arithmetical non-pluralism: justification for choosing between them varies with the set-theoretic strength of . I defend and show Koellner's non-pluralism for first-order arithmetic is inadequate given Friedman's concrete incompleteness. Resolving the selection problem for such sentences turns on justifying large cardinals. Defending graded non-pluralism thus engages G\"odel's programme and the justification of very large cardinals.
Apareció: martes, 22 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: Accepted and forthcoming in Philosophia Mathematica