Logic Seminar 2012

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

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

Jean A. Larson