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. in Ryerson 352


  • E. Jaligot, CNRS-University of Grenoble
    Generic elements.
    1:30 p.m. in Ryerson 352


  • P. Koellner, Harvard
    More on reflection principles
    11 a.m. in Ryerson 352


  • M. Magidor, Jerusalem
    The set theory of generalized logics
    5 p.m. in Stuart 104


  • A. Razborov, University of Chicago and TTI
    Flag algebras
    4 p.m. in Stuart 104
  • Venue: University of Chicago. The talks of Koellner, Jaligot and Baldwin are in Ryerson 352 (the Barn) and the talks of Razborov and Magidor are in Stuart Hall 104. Lunch will be in the Computer Science conference room in Ryerson.

    The talks at this event are meant to cover a broad spectrum of topics and should be of interest not only to logicians but also to other mathematicians, philosophers, and theoretical computer scientists.

    Leave a Reply

    Your email address will not be published. Required fields are marked *

    Time limit is exhausted. Please reload CAPTCHA.