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 |