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