|
|
|
List of Talks given in 2011-12
| Tuesday, August 30 |
|
Justin Moore, Cornell University
Iterated forcing and the continuum hypothesis, part I |
| Wednesday, August 31 |
|
Adam Bjorndahl, Cornell University
Stone duality and gaps in ω* |
| Tuesday, September 6 |
|
Justin Moore, Cornell University
Iterated forcing and the continuum hypothesis, part II |
| Wednesday, September 7 |
|
Justin Moore, Cornell University
Hindman’s theorem, Ellis’s lemma, and Thompson’s group F, part I |
| Tuesday, September 13 |
|
Justin Moore, Cornell University
Amenability and Ramsey theory, part I |
| Wednesday, September 14 |
|
Justin Moore, Cornell University
Hindman’s theorem, Ellis’s lemma, and Thompson’s group F, part II |
| Tuesday, September 20 |
|
Justin Moore, Cornell University
Amenability and Ramsey theory, part II |
| Wednesday, September 21 |
|
Clinton Conley, Cornell University
Borel chromatic numbers |
| Tuesday, September 27 |
|
Diana Ojeda, Cornell University
A proof of the Hales-Jewett theorem |
| Wednesday, September 28 |
|
Diana Ojeda, Cornell University
A proof of the Gowers’s FIN_k theorem |
| Tuesday, October 4 |
|
Sasha Gavruyshkin, Irkutsk State University
Strongly computable models of small theories |
| Wednesday, October 5 |
|
Clinton Conley, Cornell University
Measurable chromatic numbers |
| Wednesday, October 12 |
|
Diana Ojeda, Cornell University
The distortion problem, part I |
| Tuesday, October 18 |
|
Speaker TBA, Cornell University
Abstract approach to finite Ramsey theory, part I |
| Wednesday, October 19 |
|
Diana Ojeda, Cornell University
The distortion problem, part II |
| Tuesday, October 25 |
|
David Belanger, Cornell University
Abstract approach to finite Ramsey theory, part II |
| Wednesday, October 26 |
|
Asger Törnquist, University of Copenhagen
The Borel/analytic distinction for decision problems in ergodic theory and functional analysis |
| Tuesday, November 1 |
|
David Belanger, Cornell University
Abstract approach to finite Ramsey theory, part III |
| Wednesday, November 2 |
|
Diana Ojeda, Cornell University
The distortion problem, part III |
| Tuesday, November 8 |
|
Jay Williams, Rutgers University
Group embeddability and countable Borel quasi-orders |
| Wednesday, November 9 |
|
Adam Bjorndahl, Cornell University
Multigaps and S4-completeness |
| Tuesday, November 15 |
|
Justin Moore, Cornell University
Dvoretszky’s theorem, part I |
| Wednesday, November 16 |
|
Justin Moore, Cornell University
The Aviles-Todorcevic classification of analytic strong n-gaps |
| Tuesday, November 22 |
|
Justin Moore, Cornell University
Dvoretsky’s theorem, part II |
| Tuesday, November 29 |
|
Richard Shore, Cornell University
The limits of determinacy in second order arithmetic |
| Wednesday, November 30 |
|
Grigor Sargsyan, Rutgers University
The Solovay hierarchy |
| Wednesday, January 25 |
|
Richard Shore, Cornell University
Reverse mathematics and recursion theory |
| Tuesday, January 31 |
|
Richard Shore, Cornell University
Biinterpretability up to double jump: the Turing degrees below 0’ |
| Wednesday, February 1 |
|
Richard Shore, Cornell University
WKL_0, RT^n_k and ACA_0: some relations |
| Tuesday, February 7 |
|
Justin Moore, Cornell University
Solecki’s analysis of the conjectured E_1 dichotomy for Borel equivalence relations |
| Wednesday, February 8 |
|
David Belanger, Cornell University
Ramsey’s theorem for pairs I |
| Tuesday, February 14 |
|
Keita Yokayama, Tokyo Institute of Technology and Penn State University
On the reverse mathematics of Peano categoricity |
| Wednesday, February 15 |
|
David Belanger, Cornell University
Ramsey’s theorem for pairs II |
| Tuesday, February 21 |
|
Ben Miller, Universitat Munster
Bases, non-hyperfiniteness, and rigidity |
| Wednesday, February 22 |
|
Chris Condis, University of Waterloo
Proving that Artinian implies Noetherian without proving that Artinian implies finite length |
| Tuesday, February 28 |
|
Damir Dzhafarov, Notre Dame University
Weak irregular principles |
| Wednesday, February 29 |
|
David Belanger, Cornell University
Ramsey’s theorem for pairs III |
| Tuesday, March 6 |
|
Adam Bjorndahl, Cornell University
Situated games |
| Wednesday, March 7 |
|
Thomas Kern, Cornell University
Principles weaker than Ramsey’s theorem for pairs I |
| Tuesday, March 13 |
|
Antonio Montalban, University of Chicago
The jump of a structure |
| Wednesday, March 14 |
|
Thomas Kern, Cornell University
Principles weaker than Ramsey’s theorem for pairs II |
| Tuesday, March 27 |
|
Henry Towsner, University of Connecticut
Counterexamples in reverse mathematics using iterated forcing |
| Wednesday, March 28 |
|
Adam Bjorndahl, Cornell University
The dual Ramsey theorem |
| Tuesday, April 3 |
|
Scott Messick, Cornell University
Strict reverse mathematics |
| Wednesday, April 4 |
|
Adam Bjorndahl, Cornell University
The dual Ramsey theorem II |
| Tuesday, April 10 |
|
Dexter Kozen, Cornell University
New |
| Wednesday, April 11 |
|
Diana Ojeda, Cornell University
Hindman’s theorem |
| Tuesday, April 17 |
|
Rachel Epstein, Harvard University
Truth-table minimal pairs of Turing complete sets |
| Wednesday, April 18 |
|
Diana Ojeda, Cornell University
Hindman’s theorem II |
| Tuesday, April 24 |
|
Karen Lange, Wellesley College
Degrees of orderings on torsion-free abelian groups |
| Wednesday, April 25 |
|
Richard Shore, Cornell University
The atomic model theorem I |
| Tuesday, May 1 |
|
Slawek Solecki, University of Illinois at Urbana-Champaign
An abstract approach to Ramsey theory with applications to Ramsey theorems for finite trees |
| Wednesday, May 2 |
|
Richard Shore, Cornell University
The atomic model theorm II |
Last modified:July 16, 2012
|
