We present natural paths from Russell's Paradox that lead to systems that interpret ZFC and certain large cardinal hypotheses. We also present such paths from countable model theory.
Logic and Computation Seminar
Tuesday, July 29, 2014 - 10:00am
Harvey M. Friedman
The Ohio State University