

List of Talks
given in 200809
Tuesday, August 26 

Noam Greenberg, Victoria University of Wellington Strong jumptraceability 
Tuesday, September 2 

James Worthington, Cornell University Bialgebraic approach to automata and formal language theory, part I 
Thursday, September 4 

James Worthington, Cornell University Bialgebraic approach to automata and formal language theory, part II 
Tuesday, September 9 

Justin Moore, Cornell University A crash course in descriptive set theory 
Wednesday, September 10 

Richard Shore, Cornell University The atomic model theorem and type omitting, part I 
Thursday, September 11 

Justin Moore, Cornell University Fraisse theory and structural Ramsey theory 
Tuesday, September 16 

Justin Moore, Cornell University Some basics from ergodic theory 
Wednesday, September 17 

Richard Shore, Cornell University The atomic model theorem and type omitting, part II 
Thursday, September 18 

Justin Moore, Cornell University Characterizing extreme amenability of automorphism groups 
Tuesday, September 23 

Harold Hodes, Cornell University Ramifiedtype logic and axioms of reducibility 
Thursday, September 25 

Mia Minnes, MIT An automatic perspective on linear orders 
Tuesday, September 30 

Justin Moore, Cornell University Equivalence relations arising in ergodic theory and analysis 
Wednesday, October 1 

Jiamou Liu, University of Auckland and Cornell University Computable categoricity of graphs with finite component 
Thursday, October 2 

Justin Moore, Cornell University Establishing extreme amenability via Ramsey theory 
Tuesday, October 7 

Justin Moore, Cornell University Comparing the complexity of equivalence relations 
Wednesday, October 8 

Paul Shafer, Cornell University Proving Ramsey theorems via extreme amenability 
Thursday, October 9 

Christian Rosendal, University of Illinois at Chicago A new proof of Gowers’ block Ramsey Theorem 
Wednesday, October 15 

Barbara Csima, University of Waterloo Degree spectra of almost computable structures 
Thursday, October 16 

Justin Moore, Cornell University Calculating universal minimal flows 
Tuesday, October 21 

Justin Moore, Cornell University Tsirelson submeasures and the basis problem for turbulent problems 
Wednesday, October 22 

David Guaspari, Cornell University An easy proof of the FLP impossibility theorem 
Thursday, October 23 

James Worthington, Cornell University Ramsey degrees 
Tuesday, October 28 

Sheila Miller, United States Military Academy, West Point Free left distributive algebras and wellordering 
Wednesday, October 29 

Mingzhong Cai, Cornell University The dichotomy theorems for Borel equivalence relations, part I 
Thursday, October 30 

Justin Moore, Cornell University Open problems and concluding remarks from [KPT] 
Tuesday, November 4 

Justin Moore, Cornell University Cost, group actions, and equivalence relations 
Wednesday, November 5 

Mingzhong Cai, Cornell University The dichotomy theorems for Borel equivalence relations, part II 
Thursday, November 6 

Mingzhong Cai, Cornell University The dichotomy theorems for Borel equivalence relations, part II 
Tuesday, November 11 

Martin Kassabov, Cornell University An application of the cost conjecture, part I 
Wednesday, November 12 

Paul Shafer, Cornell University The Medvedev lattice, part I 
Thursday, November 13 

Martin Kassabov, Cornell University An application of the cost conjecture, part II 
Tuesday, November 18 

Justin Moore, Cornell University An anticlassification theorem for ergodic measure preserving transformations, part I 
Wednesday, November 19 

Paul Shafer, Cornell University The Medvedev lattice, part II 
Tuesday, November 25 

Simon Dauguet, Cornell University An anticlassification theorem for ergodic measure preserving transformations, part II 
Tuesday, December 2 

Simon Dauguet, Cornell University An anticlassification theorem for ergodic measure preserving transformations, part III 
Thursday, December 4 

Greg Hjorth, University of Melbourne A dichotomy theorem due to Ben Miller 
Tuesday, January 27 

James Worthington, Cornell University Determinization and forgetful functors 
Thursday, January 29 

Paul Shafer, Cornell University Fragments of MA_{aleph_1} and consequences 
Tuesday, February 3 

James Worthington, Cornell University Higherorder categorical logics 
Thursday, February 5 

Paul Shafer, Cornell University Fragments of MA_{aleph_1} and consequences II 
Tuesday, February 10 

James Worthington, Cornell University Higherorder categorical logics II 
Thursday, February 12 

Mingzhong Cai, Cornell University Non GL_{2} and ANR forcing I 
Tuesday, February 17 

Sasha Rubin, Cornell University Automata and decidability 
Thursday, February 19 

Mingzhong Cai, Cornell University Non GL_{2} and ANR forcing II 
Tuesday, February 24 

Adam Bjorndahl, Cornell University Decidability of S1D 
Thursday, February 26 

Sasha Rubin, Cornell University Decidability of S2S 
Tuesday, March 3 

Mingzhong Cai, Cornell University ANR, relatively re, and 1 genericity 
Thursday, March 5 

Sasha Rubin, Cornell University Decidability of S2S, continued 
Tuesday, March 10 

Mingzhong Cai, Cornell University ANR, relatively re, and 1 genericity II 
Thursday, March 12 

Sasha Rubin, Cornell University Decidability of S2S, continued 
Tuesday, March 24 

Sasha Rubin, Cornell University Introduction to automatic structures 
Thursday, March 26 

Paul Shafer, Cornell University The firstorder theory of the Medvedev lattice is thirdorder arithmetic 
Tuesday, March 31 

Sasha Rubin, Cornell University (Q, +) is not an automatic structure 
Thursday, April 2 

Sasha Rubin, Cornell University Effectively composing types + Ramsey → decidability 
Tuesday, April 7 

Justin Moore, Cornell University
Fast growth in Folner sets for Thompson’s group, part II 
Thursday, April 9 

James Worthington, Cornell University Bialgebras arising naturally 
Tuesday, April 14 

Stevo Todorcevic, CNRS, University of Toronto Borel chromatic numbers 
Tuesday, April 28 

Alexander Landraitis, Cornell University Embedding and coding below a 1generic degree I 
Thursday, April 30 

Alexander Landraitis, Cornell University Embedding and coding below a 1generic degree II 
Last modified:October 15, 2009
