Logic Seminar

List of Talks given in 2010-11

Tuesday, September 7   Justin Moore, Cornell University
Compact sets of Baire class 1 functions
Wednesday, September 8   Justin Moore, Cornell University
Crash course in forcing, part I
Tuesday, September 14   Adam Bjorndahl, Cornell University
Multigaps
Wednesday, September 15   Justin Moore, Cornell University
Crash course in forcing, part II
Tuesday, September 21   Mingzhong Cai, Cornell University
Todorcevic’s theorem on the preservation of Rosenthal compacta by forcing
Wednesday, September 22   Max Burke, University of Prince Edward Island
Smooth sections through everywhere second category sets and approximation of functions of class C^n by ‘generic’ entire functions
Wednesday, September 29   Diana Ojeda, Cornell University
Parametrized sequential compactness and the Galvin-Prikry theorem, part I
Thursday, September 30   Justin Moore, Cornell University
Consequences of Todorcevic’s preservation theorem
Tuesday, October 5   Diana Ojeda, Cornell University
Parametrized sequential compactness and the Galvin-Prikry theorem, part 2
Wednesday, October 6   Noam Greenberg, Victoria University of Wellington
A new ideal of c.e. degrees?
Wednesday, October 13   Noam Greenberg, Victoria University of Wellington
Capturing the nonhyperarithmetic degrees by an algebraic structure
Tuesday, October 19   James West, Cornell University
Rosenthal compacta contain dense metrizable subspaces, part I
Wednesday, October 20   Paul Shafer, Cornell University
Medvedev degrees: characterizing the join-irreducibles and the first-order theory
Tuesday, October 26   James West, Cornell University
Rosenthal compacta contain dense metrizable subspaces, part II
Wednesday, October 27   Baris Ugurcan, Cornell University
Rosenthal’s l_1 theorem, part I
Tuesday, November 2   Yash Lodha, Cornell University
Premetric Rosenthal compacta of degree 2, part I
Wednesday, November 3   Baris Ugurcan, Cornell University
Rosenthal’s l_1 theorem, part II
Tuesday, November 9   Justin Moore, Cornell University
Forcing axioms and the continuum hypothesis
Wednesday, November 10   Mingzhong Cai, Cornell University
Tracing notions and their equivalent properties: two theorems on n-REA degrees
Tuesday, November 16   Thomas Kern, Cornell University
A dichotomy theorem concerning the split interval, part 1
Wednesday, November 17   Slawek Solecki, University of Illinois at Urbana-Champaign
Finite Ramsey theorems and structures
Tuesday, November 23   Adam Bjorndahl, Cornell University
The characters of points in Rosenthal compacta, part I
Tuesday, November 30   David Belanger, Cornell University
The characters of points in Rosenthal compacta, part 2
Wednesday, December 1   Thomas Kern, Cornell University
Free sequences in Rosenthal compacta
Tuesday, December 7   David Belanger, Cornell University
The characters of points in Rosenthal compacta, part 3
Wednesday, December 8   Dilip Raghavan, University of Toronto
Embedding partial orders into the Tukey types
Wednesday, January 26   Mingzhong Cai, Cornell University
The ordering of provable totality on Turing algorithms
Tuesday, February 1   Richard Shore, Cornell University
Pi-0-1 classes
Wednesday, February 2   Paul Shafer, Cornell University
The theory of the Medvedev degrees of Pi-0-1 classes
Tuesday, February 8   David Belanger, Cornell University
Turing degrees of models
Wednesday, February 9   Adam Bjorndahl, Cornell University
The descriptive complexity of strings C and K, part I
Tuesday, February 15   David Belanger, Cornell University
wtt-degrees of models
Wednesday, February 16   Adam Bjorndahl, Cornell University
The descriptive complexity of strings C and K, part II
Tuesday, February 22   Diana Ojeda, Cornell University
Martin-Lof randomness, part I
Wednesday, February 23   Sean Cox, Muenster University
Diagonal stationary reflection and generic ultrapowers
Tuesday, March 1   Diana Ojeda, Cornell University
Martin-Lof randomness, part II
Wednesday, March 2   Mariya Soskova, Sofia University
Definability in the enumeration degrees
Tuesday, March 8   Diana Ojeda, Cornell University
Martin-Lof randomness, part III
Wednesday, March 9   David Belanger, Cornell University
Martin-Lof randomness, part IV
Tuesday, March 15   David Belanger, Cornell University
Martin-Lof randomness, part V
Wednesday, March 16   David Belanger, Cornell University
Martin-Lof randomness, part VI
Tuesday, March 29   Jan Riemann, Pennsylvania State University
Algorithmic independence and PA degrees
Wednesday, March 30   Mingzhong Cai, Cornell University
Lowness properties
Tuesday, April 5   Nick Bezhanishvili, Imperial College London
Sahlqvist’s theorem for modal fixed point logic
Wednesday, April 6   Mingzhong Cai, Cornell University
K triviality
Tuesday, April 12   Paul Shafer, Cornell University
Cost functions
Wednesday, April 13   Carlos Martinez, University of Toronto
Well quasi-ordering Aronszajn lines
Tuesday, April 19   Adam Bjorndahl, Cornell University
A crash course in modal logic
Wednesday, April 20   Paul Shafer, Cornell University
Cost functions and Low(MLR)
Tuesday, April 26   Adam Bjorndahl, Cornell University
Reasoning about justified belief
Wednesday, April 27   Paul Shafer, Cornell University
Low(MLR)
Tuesday, May 3   Mingzhong Cai, Cornell University
Traceability
Wednesday, May 4   Diana Ojeda, Cornell University
A Ramsey theorem for finite sequences of blocks