Recent and upcoming talks by Alex Razborov

Chicago Logic Day, April 24, 2013

Logic Day, April 24, 2013 On Wednesday April 24th, we will hold a Logic Day at the University of Chicago. Proposed schedule: J. Baldwin, UIC Completeness and Categoricity (in power): Formalization without Foundationalism 2:30 p.m. continue reading…