Recent and upcoming talks by John Baldwin

Large Cardinals and Strong Logics: September 5 through December 16

Dear colleague, We would like to inform you about the forthcoming CRM Intensive Research Program on Large Cardinals and Strong Logics, to be held from September 5 to December 16, 2016. continue reading…

Set theory and model theory, Tehran, October 12-16, 2015

The purpose of the conference is to bring together researchers and individuals interested in all areas of set theory and model theory, to discuss the latest developments and findings in their areas, take stock of what remains to be done and explore different visions for setting the direction for future work. continue reading…

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…

Arctic Set Theory Workshop, February 1-5, 2013

This international workshop on the latest developments in set theory, including set theoretic model theory and constructive set theory, will be held in the Kilpisjärvi Research Center of the University of Helsinki, during February 1-5, 2013. continue reading…

This Week in Logic at CUNY

This Week in Logic at CUNY: Computational Logic Seminar Time 2:00 – 4:00 PM, April 17, 2012, Room 3209. Speaker: Çağıl Taşdemir (Graduate Center) Title: The Power of Knowledge in Games Abstract: We propose a theory of the interaction between knowledge and games. continue reading…