VISITORS SHOULD PICK UP A PARKING PERMIT FROM THE PARKING OFFICE.
In Spring 2015, the Logic Seminar will be held in Room 705.
5:00-6:20 pm, Room 705, Hill Center, Busch
Monday 04/27 -- Roman Kossak (CUNY)
Title: Coding sets in elementary extensions, or What's new in models of PA.
Monday 04/20 -- Thomas Johnstone (CUNY)
Title: Strongly uplifting cardinals and the boldface resurrection axioms
Monday 04/13 -- Sheila Miller (CUNY)
Title: Title: The structure of free left distributive algebras under several relations
Abstract: A well-known result of Laver established that the closure of a single, non-trivial rank-to-rank (I3)
embedding under application forms a free left distributive algebra that is linearly ordered under iterated left
division. The linearity was then shown to be a ZFC result by Dehornoy. We survey existing results on the
structure of free left distributive algebras on one and many generators as well as the finite approximations
to the free left distributive algebras (Laver tables) and present some new results and open problems.
Included are some remarks about logical strength.
Monday 04/06 -- Jay Williams (Caltech)
Title: Chain conditions, elementary amenability, and descriptive set theory
Monday 03/30 -- Jouko Vaananen (Helsinki+Amsterdam)
Title: Inner models from extended logics.
Monday 03/23 -- Simon Thomas (Rutgers)
Monday 03/16 -- No seminar
Monday 03/09 -- Nam Trang (CMU)
Monday 03/02 -- Peter Glivick (CUNY)
Monday 02/23 -- Grigor Sargsyan (Rutgers)
Title: A proof of LSA II
Monday 02/16 -- Grigor Sargsyan (Rutgers)
Title: A proof of LSA I
Monday 02/09 -- Grigor Sargsyan (Rutgers)
Title: An outline of descriptive inner model theory