collaborators

1 paper

math.LO2026

Class choice and the surprising weakness of Kelley-Morse set theory

Victoria Gitman, Joel David Hamkins, Thomas A. Johnstone

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 i…