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 |