Logic Seminar
Logic Seminar
List of Talks given in 2007-08
| Tuesday, August 28 | Antonio Montalban, University of Chicago On the n-back-and-forth types of boolean algebras |
|
| Wednesday, September 5 | Justin Moore, Cornell University The club filter, stationary sets, and countable elementary submodels |
|
| Tuesday, September 11 | Russell Miller, Queens College Locally computable structures |
|
| Wednesday, September 12 | Mia Minnes, Cornell University Using automata to prove tractability |
|
| Tuesday, September 18 | Richard Shore, Cornell University Reverse mathematics: an introduction |
|
| Wednesday, September 19 | Richard Shore, Cornell University Complexity in countable combinatorics |
|
| Tuesday, September 25 | Jiamou Liu, University of Auckland and Cornell University RCA_0 |
|
| Wednesday, September 26 | Justin Moore, Cornell University Linear orders and the club filter I |
|
| Tuesday, October 2 | Pavel Semukhin, Cornell University ACA_0 |
|
| Wednesday, October 3 | Justin Moore, Cornell University Linear orders and the club filter II |
|
| Wednesday, October 10 | Sasha Rubin, University of Auckland Decidable extensions of the Monadic second-order theory of (Nat, <) by unary predicates |
|
| Tuesday, October 16 | Pavel Semukhin, Cornell University ACA_0 |
|
| Wednesday, October 17 | Sasha Rubin, University of Auckland A survey of automatic structures |
|
| Tuesday, October 23 | Pavel Semukhin, Cornell University ACA_0 |
|
| Wednesday, October 24 | Iman Poernomo, King's College London Improving model driven architecture through formal methods |
|
| Tuesday, October 30 | Paul Larson, Miami University Coherence principles for clubs and elementary submodels |
|
| Wednesday, October 31 | Pavel Semukhin, Cornell University Applications of Kolmogorov complexity to computable model theory |
|
| Tuesday, November 6 | James Worthington, Cornell University WKL_0 |
|
| Wednesday, November 7 | Nicholas Hay, Cornell University A mathematical definition of artificial intelligence |
|
| Tuesday, November 13 | James Worthington, Cornell University WKL_0, part II |
|
| Wednesday, November 14 | Slawomir Solecki, University of Illinois at Urbana G_delta ideals of compact sets |
|
| Tuesday, November 20 | Paul Shafer, Cornell University ATR_0 |
|
| Tuesday, November 27 | Paul Shafer, Cornell University ATR_0 |
|
| Wednesday, November 28 | Guram Bezhanishvili, New Mexico State University Topological completeness of modal and superintuitionistic logics |
|
| Tuesday, January 22 | Allen Mann, Colgate University Independence-friendly logic |
|
| Thursday, January 24 | Justin Moore, Cornell University The construction of a Countryman line: an introduction to minimal walks |
|
| Tuesday, January 29 | Michael O'Connor, Cornell University Axiomatizing superintuitionistic logics |
|
| Thursday, January 31 | Justin Moore, Cornell University The construction of a Countryman line: an introduction to minimal walks II |
|
| Tuesday, February 5 | Michael O'Connor, Cornell University Heyting algebras 2 |
|
| Thursday, February 7 | Justin Moore, Cornell University What is the proper forcing axiom? (part 1 of 2) |
|
| Tuesday, February 12 | Michael O'Connor, Cornell University Heyting algebras |
|
| Thursday, February 14 | James Worthington, Cornell University Disimulation |
|
| Tuesday, February 19 | Howard Blair, Syracuse University Set-based answer set logic programming |
|
| Thursday, February 21 | James Worthington, Cornell University Schlumberger's theorem |
|
| Tuesday, February 26 | James Worthington, Cornell University The bialgebra approach to automata/quantum automata |
|
| Thursday, February 28 | François Dorais, Cornell University Third-order arithmetic and the Baumgartner-Hajnal theorem |
|
| Tuesday, March 4 | James Worthington, Cornell University Quantum automata, continued |
|
| Thursday, March 6 | Paul Shafer, Cornell University Menger's theorem for countable graphs in Pi_1^1-CA_0 |
|
| Tuesday, March 11 | Paul Shafer, Cornell University Menger's theorem for countable graphs in Pi_1^1-CA_0 |
|
| Thursday, March 13 | James Worthington, Cornell University Quantum pushdown automata |
|
| Tuesday, March 25 | Paul Shafer, Cornell University Menger's theorem for countable graphs in Pi_1^1-CA_0 (continued) |
|
| Thursday, March 27 | Justin Moore, Cornell University Open coloring axiom, the continuum, and \aleph_2 (part I) |
|
| Tuesday, April 1 | Justin Moore, Cornell University Open coloring axiom, the continuum, and \aleph_2 (part II) |
|
| Thursday, April 3 | Menachem Kojman, Ben Gurion University of the Negev Extensions of Ramsey's theorem |
|
| Tuesday, April 8 | Mingzhong Cai, Cornell University Strong minimal covers and Yates' question |
|
| Thursday, April 10 | Michael O'Connor, Cornell University Diego's theorem |
|
| Tuesday, April 15 | Mingzhong Cai, Cornell University Strong minimal covers and Yates' question (continued) |
|
| Thursday, April 17 | Michael O'Connor, Cornell University A solution to the L-space problem I |
|
| Tuesday, April 22 | Mingzhong Cai, Cornell University Strong minimal covers and Yates' problem III |
|
| Thursday, April 24 | Paul Shafer, Cornell University A solution to the L-space problem II |
|
| Tuesday, April 29 | James Worthington, Cornell University A solution to the L-space problem III |
|
| Thursday, May 1 | Michael O'Connor, Cornell University The logic of toposes and smooth infinitesimal analysis |