Harvard University homepage
HARVARD.EDU

Logic Colloquium

Logic Seminar and Colloquium

Organizers: Peter Koellner, and W. Hugh Woodin. To be added to the mailing list, please contact logic@fas (dot harvard dot edu). For seminars and colloquia in previous years, see the archived schedules.

The Logic Colloquium meets roughly once a month and involves a major figure in logic, speaking on a broad area of general interest. Unless otherwise noted, the talks meet at 2 Arrow Street in Room 420 from 4:00-6:00 pm.

Spring 2018 Logic Seminar and Colloquium Schedule

  • Thursday, January 25. Akihiro Kanamori (BU): “Aspect-perception and the history of mathematics” Abstract.
  • Thursday, March 8. Dima Sinapova (University of Illinois at Chicago): “Stronger tree properties and the SCH” Abstract.
  • Thursday, March 29. Donald Martin (UCLA): “Cantor’s Grundlagen” Abstract.
  • Thursday, April 12. Boris Zilber (Oxford): “Between model theory and physics” Abstract.
  • Thursday, April 19. Alexander Kechris (California Institute of Technology): “Borel equivalence relations, cardinal algebras and structurability” Abstract.

Fall 2017 Logic Seminar and Colloquium Schedule

  • Wednesday, November 8, 2017. Victoria Gitman (CUNY): “Virtual large cardinal principles” Abstract.
  • Wednesday, November 15, 2017. Stephen Jackson (UNT): “Combinatorics of definable sets” Abstract.

Spring 2017 Logic Seminar and Colloquium Schedule

  • Thursday, April 6, 2017. Tim Button (Cambridge): “Internal categoricity for Scott-Potter set theory” Abstract.

Fall 2016 Logic Seminar and Colloquium Schedule

  • Thursday, October 20, 2016. Joel David Hamkins (CUNY): “Recent advances in set-theoretic geology” Abstract.
  • Thursday, November 3, 2016. Theodore A. Slaman (UC Berkeley): “Recursion Theory and Diophantine Approximation” Abstract.
  • Thursday, November 17, 2016. Haim Horowitz (Hebrew University of Jerusalem): “On the non-existence and definability of mad families” Abstract.

Spring 2016 Logic Seminar and Colloquium Schedule

  • Wednesday, February 3, 2016. Ilijas Farah (York University): “Set theory and representations of C∗C∗-algebras” Abstract.
  • Wednesday, February 24, 2016. John Baldwin (University of Illinois at Chicago): “The divorce of set theory and first order model theory” Abstract.
  • Wednesday, April 20, 2016. (Note: The colloquium will be held from 2-4 pm.) Scott Cramer (Rutgers): “Woodin’s AD-conjecture for I0” Abstract.
  • Thursday, April 28, 2016. (Note: The colloquium will be held on a Thursday.) Andrew Marks (UCLA): “Martin measure and strong ergodicity” Abstract.

Fall 2015 Logic Seminar and Colloquium Schedule

  • Wednesday, November 11, 2015. Sebastien Vasey (Carnegie Mellon University): “Shelah’s eventual categoricity conjecture in universal classes” Abstract.
  • Wednesday, December 9, 2015. Monica VanDieren (Robert Morris University): To be announced. Abstract.

Spring 2015 Logic Seminar and Colloquium Schedule

  • Monday, February 23, 2015. Will Boney (University of Illinois at Chicago): “Tameness in Abstract Elementary Classes” Abstract.

Fall 2014 Logic Seminar and Colloquium Schedule

  • Wednesday, September 24, 2014. Gil Sagi (Ludwig-Maximilians-Universität, München): “What is a Fixed Term?” Abstract.
  • Wednesday, October 29, 2014. Joan Bagaria (Universitat de Barcelona): “Reflection phenomena in the set theoretic universe” Abstract.
  • Wednesday, November 19, 2014. Maryanthe Malliaris (University of Chicago): “Comparing the complexity of unstable theories” Abstract.

Spring 2014 Logic Colloquium Schedule

  • Wednesday, February 19, 2014. Grigor Sargsyan (Rutgers University): “Covering, core model induction and hod mice” Abstract.
  • Wednesday, March 12, 2014. Paul Larson (Miami University): “Forcing axioms in ℙmaxPmax extensions” Slides. Abstract.
  • Wednesday, March 26, 2014. Ralf Schindler (University of Münster): “Martin’s Maximum with an asterisk” Abstract.
  • Wednesday, April 16, 2014. Ilijas Farah (York University): “Logic and operator algebras” Slides. Paper. Abstract.

Fall 2013 Logic Seminar and Colloquium Schedule

  • Tuesday, October 8, 2013. Logic Colloquium: Rahim Moosa (University of Waterloo): “The Canonical Base Property and the Zilber Dichotomy Revisited”. Slides. Abstract.
  • Tuesday, October 15, 2013. Paul Christiano (University of California, Berkeley): “Probabilistic metamathematics and the definability of truth”. Abstract.
  • Tuesday, October 22, 2013. Cameron Donnay Hill (Wesleyan University): “On Filters in Fraïssé Classes” Abstract.
  • Tuesday, October 29, 2013. Spencer Breiner (Carnegie Mellon University): “A scheme construction for logic and model theory”. Abstract.
  • Monday, November 11, 2013. Isaac Goldbring (University of Illinois at Chicago): “A survey of the model theory of tracial von Neumann algebras”. Slides. Abstract.
  • Monday, November 18, 2013. Logic Colloquium: Alexander S. Kechris (Caltech): “Topological dynamics and ergodic theory of automorphism groups of countable structures”. Slides. Abstract.
  • Tuesday, November 26, 2013. Brian Wynne (Bard College at Simon’s Rock): “Upper products of existentially closed Abelian ℓℓ-groups”. Abstract.
  • Tuesday, December 3, 2013. Lynn Scow (Vassar College): “I-indexed indiscernible sets and trees”. Slides. Abstract.
  • Friday, December 6, 2013. Sam Sanders (Ghent University): “Higher-order Reverse Mathematics: Where existence meets computation via infinitesimals”. Abstract.

Contact · Last updated: October 2013