jdh.hamkins.org
Kelley-Morse set theory implies Con(ZFC) and much more
I should like to give a brief account of the argument that KM implies Con(ZFC) and much more. This argument is well-known classically, but unfortunately seems not to be covered in several of the co…