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