Logic Seminar

Tuesdays at 2:55 PM and Wednesdays at 4:00 PM in Malott 206
Organized by: Slawomir Solecki

The topic for fall 2017 will be a new view of computable structure theory. Visit the seminar homepage for more information.

E.g., 2020 Mar 28
E.g., 2020 Mar 28
Wed Jan 22, 2020
4:00 PM
Malott 206
No Speaker
Organizational meeting
Tue Feb 4, 2020
2:55 PM
Malott 206
Sebastian JungeCornell University
Categorical reformulation of structural Ramsey theorems
Wed Feb 5, 2020
4:00 PM
Malott 206
Anthony Graves-McClearyCornell University
The Ramsey property for Banach spaces and Choquet simplices after Bartosova, Lopez-Abad, Lupini, and Mbombo
Tue Feb 11, 2020
2:55 PM
Malott 206
Romin Abdolahzadi Cornell University
Profinite Model Theory
Wed Feb 12, 2020
4:00 PM
Malott 206
Anthony Graves-McClearyCornell University
The Ramsey property for Banach spaces and Choquet simplices after Bartosova, Lopez-Abad, Lupini, and Mbombo
Tue Feb 18, 2020
2:55 PM
Malott 206
Scott MessickMorphism Inc.
The lost Fregean paradise: a foundational system with self-applicable classes
Wed Feb 26, 2020
4:00 PM
Malott 206
Brandon ShapiroCornell University
A brief tour of homotopy type theory, part 1
Tue Mar 3, 2020
2:55 PM
Malott 206
Paul LarsonMiami University
Geometric set theory
Wed Mar 4, 2020
4:00 PM
Malott 206
Brandon ShapiroCornell University
A brief tour of homotopy type theory, part 2
Tue Mar 10, 2020
2:55 PM
Malott 206
Justin MooreCornell University
Constrained forcing axioms
Tue Mar 17, 2020
2:55 PM
Malott 206
Anton BernshteynCarnegie Mellon University
Canceled
Wed Apr 8, 2020
4:00 PM
Malott 206
Jenna Zomback University of Illinois at Urbana--Champaign
Canceled
Tue Apr 28, 2020
2:55 PM
Malott 206
Charles Steinhorn Vassar College
Title TBA