{"id":"arxiv/2601.23165","url":"https://arxiv.org/abs/2601.23165","tags":["math.LO"],"score":0,"title":"Class choice and the surprising weakness of Kelley-Morse set theory","domain":"math.LO","source":"arxiv","authors":["Victoria Gitman","Joel David Hamkins","Thomas A. Johnstone"],"reviews":0,"subject":"math.LO","summary":"Kelley-Morse set theory KM is weaker than generally supposed and fails to prove several principles that may be desirable in a foundational second-order set theory. Even though KM includes the global choice principle, for example, (i) KM does not prove the class choice scheme, asserting that whenever every set $x$ admits a class $X$ with $\\varphi(x,X)$, then there is a class $Z\\subseteq V\\times V$ for which $\\varphi(x,Z_x)$ on every section. This scheme can fail with KM even in low-complexity first-order instances $\\varphi$ and even when only a set of indices $x$ are relevant. For closely…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-30","reactions":{}}