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 Jun 25
E.g., 2020 Jun 25
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
Wed Apr 15, 2020
4:00 PM
Zoom
Slawomir SoleckiCornell University
Introduction to the Lascar Galois Group
Wed Apr 22, 2020
4:00 PM
Zoom
C. Ward HensonUniversity of Illinois at Urbana--Champaign
Ultraproducts as a tool in the model theory of metric structures
Tue Apr 28, 2020
2:55 PM
Zoom
Anton BernshteynCarnegie Mellon University
Descriptive combinatorics and distributed algorithms
Wed Apr 29, 2020
4:00 PM
Zoom
Slawomir SoleckiCornell University
Introduction to the Lascar Galois Group
Tue May 5, 2020
2:55 PM
Zoom
Andy Zucker University of Lyon
Topological dynamics beyond Polish groups
Wed May 6, 2020
4:00 PM
Zoom
Dexuan HuCornell University
Introduction to the Lascar Galois Group
Tue May 12, 2020
2:55 PM
Zoom
Konstantin Slutsky University of Paris 7
Smooth orbit equivalence of free Borel ${\mathbb R}^d$ actions
Wed May 13, 2020
4:00 PM
Zoom
Ellie LaurieCornell University
Introduction to the Lascar Galois group