{"id":"arxiv/2609.22797","url":"https://arxiv.org/abs/2609.22797","tags":["math.LO","math.HO"],"score":0,"title":"The Limits of Arithmetical Pluralism: Incompleteness, Large Cardinals, and Graded Non-Pluralism","domain":"math.LO","source":"arxiv","authors":["Yong Cheng"],"reviews":0,"subject":"math.LO","summary":"Gödelian incompleteness yields arithmetical sentences \\(A\\) such that \\(\\mathsf{PA}+A\\) and \\(\\mathsf{PA}+\\neg A\\) 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 \\(A\\). I defend \\(\\mathsf{PA}+\\mathsf{Con}(\\mathsf{PA})\\) and show that Friedman's concrete incompleteness results pose a serious challenge to non-pluralism about first-order arithmetic. Resolving the selection problem for such sentences turns on justifying large cardinals. Defending…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-19","reactions":{}}