Logic Seminar 2012

Spring Schedule

  • January 11: Organizational Meeting
  • January 18: Jindra Zapletal, Canonical Interpretations in Generic Extensions
  • January 25: Jindra Zapletal, Canonical Interpretations in Generic Extensions 2
  • February 1: Michal Doucha, Borel Equivalence Relations and Laver Forcing
  • February 8: Micha Doucha, Borel Equivalence Relations and Laver Forcing 2,
  • February 15: Bill Mitchell, Inner models of set theory: the big picture
  • February 22: Sebastian Wyman, Preliminaries on Computable Symbolic Dynamics
  • February 29: Sebastian Wyman, Weakening computability to classify Pi^0_1 subshifts
  • March 14: Ferit Toska, Compressibility of Countable Subshifts
  • March 21: Bill Mitchell, Inner models of set theory: the big picture 2
  • March 28: Douglas Cenzer, Bounded algorithmic randomness
  • April 4: Douglas Cenzer, Bounded algorithmic randomness 2
  • April 11: Jindrich Zapletal, Ramsey Theorems on Polish spaces
  • April 18: Jindrich Zapletal, Ramsey Theorems on Polish spaces, 2
  • April 25: Alan Kuhnle, Pinned Equivalence Relations

Fall Schedule

  • Aug 27: Bill Mitchell, Introduction to Forcing
  • September 4: Sebastian Wyman, Subshifts on $2^\mathbb{N}$ in the Arithmetic Hierarchy
  • September 19: Ferit Toska, Descriptions of subsets of $2^\mathbb{N}$
  • September 24: Douglas Cenzer, Sub-computable Randomness
  • October 1: Douglas Cenzer, Sub-computable Randomness
  • October 3:(Grad Logic) Alan Kuhnle, Classification of UHF Algebras and AF Algebras
  • October 17:(GMA Colloquium in the atrium) Sebastian Wyman, Introduction to Computability, Computable Analysis and Effective Symbolic Dynamics
  • October 19: Douglas Cenzer, Prequel to Harizanov’s talk
  • October 22: (Colloquium) Valentina Harizanov, Effective structures and complexity of their isomorphisms
  • October 31: Francis Adams, Extremely Amenable Groups and Structural Ramsey Theory
  • November 2: Jindra Zapletal, Report on Fall Semester at the Fields Institute
  • November 7: (Grad Logic) Jean Larson, Report on the Workshop in Luminy
  • December 5: Tom Winckler, Ramsey Theory and Computability