Logic Seminar (MATH 781-782)

Logic Seminar (MATH 781-782)

List of Talks given in 2003-04

Tuesday, September 9   Michael O'Connor, Cornell University
First order arithmetic: basics and partial truth definitions
Wednesday, September 10   Yuval Gabay, Cornell University
Inverting the double jump and initial segments of D
Tuesday, September 16   Michael O'Connor, Cornell University
Fragments of first order arithmetic
Wednesday, September 17   Yuval Gabay, Cornell University
Inverting the double jump and initial segments of D II
Tuesday, September 23   John Thurber, Eastern Oregon University and Cornell University
Some recursion theory in fragments of arithmetic
Wednesday, September 24   Antonio Montalban, Cornell University
The E-theory of the degrees with predicates for GH_n and GL_n (n > 0)
Tuesday, September 30   John Thurber, Eastern Oregon University and Cornell University
Some recursion theory in fragments of arithmetic II
Wednesday, October 1   Antonio Montalban, Cornell University
The E-theory of the degrees with predicates for GH_n and GL_n (n > 0) II
Tuesday, October 7   John Thurber, Eastern Oregon University and Cornell University
Basic logic in fragments of arithmetic
Wednesday, October 8   Antonio Montalban, Cornell University
The E-theory of the degrees with predicates for GH_n and GL_n (n > 0) III
Wednesday, October 15   Serguei Slavnov, Cornell University
Geometric denotational semantics: a symplectic view of logic I
Monday, October 20   Jim Lipton, Wesleyan University
Cut elimination and completeness of Church's intuitionistic theory of types
Tuesday, October 21   Jim Lipton, Wesleyan University
Cut elimination and completeness of Church's intuitionistic theory of types II
Tuesday, October 28   Antonio Montalban, Cornell University
Ramsey theorems in fragments of arithmetic
Wednesday, October 29   Serguei Slavnov, Cornell University
Geometric denotational semantics: a symplectic view of logic II
Tuesday, November 4   Antonio Montalban, Cornell University
The Paris-Harrington theorem
Wednesday, November 5   Serguei Slavnov, Cornell University
Geometric denotational semantics: a symplectic view of logic III
Tuesday, November 11   Antonio Montalban, Cornell University
The Paris-Harrington theorem II
Wednesday, November 12   Christopher Hardin, Cornell University
The Horn theory of relational Kleene algebras I
Tuesday, November 18   Antonio Montalban, Cornell University
The Paris-Harrington theorem III
Wednesday, November 19   Christopher Hardin, Cornell University
The Horn theory of relational Kleene algebras II
Tuesday, November 25   Yuval Gabay, Cornell University
The Schwichtenberg-Wainer hierarchy I
Tuesday, December 2   Yuval Gabay, Cornell University
The Schwichtenberg-Wainer hierarchy II
Wednesday, December 3   Piergiorgio Odifreddi, University of Turin
Algebra and intuitionistic logic
Wednesday, January 28   Rahim Moosa, MIT
The Mordell-Lang conjecture in positive characteristic
Tuesday, February 3   Richard Shore, Cornell University
Reverse mathematics: an introduction
Wednesday, February 4   Barbara Csima, Cornell University
Degrees of prime models I
Tuesday, February 10   Richard Shore, Cornell University
Recursive comprehension
Wednesday, February 11   Barbara Csima, Cornell University
Degrees of prime models II
Tuesday, February 17   Michael O'Connor, Cornell University
Arithmetic comprehension
Wednesday, February 18   Barbara Csima, Cornell University
Degrees of prime models III
Tuesday, February 24   Michael O'Connor, Cornell University
Arithmetic comprehension II
Wednesday, February 25   Antonio Montalban, Cornell University
Embeddings and coding below a 1-generic
Tuesday, March 2   Michael O'Connor, Cornell University
Arithmetic comprehension III
Wednesday, March 3   Greg Hjorth, UCLA
The mad, mad world of cardinality in L(R)
Tuesday, March 9   Christopher Hardin, Cornell University
Weak Konig's lemma
Wednesday, March 10   James Cheney, Cornell University
Fraenkel-Mostowski permutation models of set theory
Tuesday, March 16   Christopher Hardin, Cornell University
Weak Konig's lemma II
Wednesday, March 17   James Cheney, Cornell University
Nominal logic, names and binding
Tuesday, March 30   Antonio Montalban, Cornell University
ATR_0 I
Wednesday, March 31   Reed Solomon, University of Connecticut
Reverse mathematics and equivalent definitions for well orderings
Tuesday, April 6   Russell Miller, Queens College
Spectrally universal structures
Wednesday, April 7   Russell Miller, Queens College
Infinite-time Turing machines
Tuesday, April 20   Yuval Gabay, Cornell University
Double-jump inversion for a degree rea in 0"
Wednesday, April 21   Antonio Montalban, Cornell University
ATR_0
Tuesday, April 27   Antonio Montalban, Cornell University
ATR_0
Wednesday, April 28   Itay Ben-Yaacov, MIT
Lovely pairs and supersimplicity
Tuesday, May 4   Lev Beklemishev, Utrecht University and Steklov Mathematical Institute
On algebraic structures for proof theory
Wednesday, May 5   Noam Greenberg, Cornell University
The singular cardinal problem