Logic Seminar
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 |