After Boolean Relation Theory, we have been using order invariant relations and graphs for Pi01 incompleteness from ZFC and certain large cardinal hypotheses. We present the state of the art.
Logic and Computation Seminar
Monday, July 28, 2014 - 10:00am
Harvey M. Friedman
The Ohio State University