The Limits of Arithmetical Pluralism: Incompleteness, Large Cardinals, and Graded Non-Pluralism
In the authors' words
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.
Main resultThe abstract does not state a limitation.
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: Accepted and forthcoming in Philosophia Mathematica