|
|
|
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 |
Last modified:
April 29, 2004
|
