Send the following on WhatsApp
Continue to ChatA natural strengthening of Kelley-Morse set theory, CUNY Logic Workshop, May 2014 https://jdh.hamkins.org/a-natural-strengthening-of-kelley-morse-set-theory-cuny-logic-workshop-may-2014/
A natural strengthening of Kelley-Morse set theory, CUNY Logic Workshop, May 2014 https://jdh.hamkins.org/a-natural-strengthening-of-kelley-morse-set-theory-cuny-logic-workshop-may-2014/