Monthly Archives: July 2014

Choice schemes for Kelley-Morse set theory

This is a talk at the Colloquium Logicum Conference in Munich, Germany, September 4-6, 2014.

Posted in talks | Tagged , , , | 2 Comments