|
|
|
List of Talks
given in 2004-05
| Thursday, August 26 |
|
Denis Hirschfeldt, University of Chicago
Degrees of infinite homogeneous sets for computable stable colorings of pairs |
| Tuesday, August 31 |
|
Denis Hirschfeldt, University of Chicago
Degrees of infinite homogeneous sets for computable stable colorings of pairs II |
| Tuesday, September 7 |
|
Denis Hirschfeldt, University of Chicago
The wonderful world of K-triviality |
| Wednesday, September 8 |
|
Denis Hirschfeldt, University of Chicago
The wonderful world of K-triviality |
| Tuesday, September 14 |
|
Michael O'Connor, Cornell University
The geometry of strongly minimal sets I |
| Wednesday, September 15 |
|
Christopher Hardin, Cornell University
Pi-1-1 comprehension I |
| Tuesday, September 21 |
|
Michael O'Connor, Cornell University
The geometry of strongly minimal sets II |
| Wednesday, September 22 |
|
Christopher Hardin, Cornell University
Pi-1-1 comprehension II |
| Tuesday, September 28 |
|
Michael O'Connor, Cornell University
The geometry of strongly minimal sets III |
| Wednesday, September 29 |
|
Christopher Hardin, Cornell University
Pi-1-1 comprehension III |
| Tuesday, October 5 |
|
Barbara Csima, Cornell University
Bounding homogeneous models I |
| Wednesday, October 6 |
|
Antonio Montalban, Cornell University
The minimum beta-model of Pi-1-1 CA |
| Wednesday, October 13 |
|
Antonio Montalban, Cornell University
Countable coded beta-models |
| Tuesday, October 19 |
|
Barbara Csima, Cornell University
Bounding homogeneous models II |
| Wednesday, October 20 |
|
Antonio Montalban, Cornell University
Symmetric beta-models |
| Tuesday, October 26 |
|
Christopher Hardin, Cornell University
Proof systems for Kleene algebra I |
| Wednesday, October 27 |
|
Antonio Montalban, Cornell University
beta-model reflection |
| Tuesday, November 2 |
|
Christopher Hardin, Cornell University
Proof systems for Kleene algebra II |
| Wednesday, November 3 |
|
Michael O'Connor, Cornell University
omega-models |
| Tuesday, November 9 |
|
Carl Jockusch, Jr., University of Illinois, Urbana
Computable Ramsey theory and reverse mathematics |
| Wednesday, November 10 |
|
Michael O'Connor, Cornell University
omega models II |
| Tuesday, November 16 |
|
Richard Shore, Cornell University
Combinatorial principles weaker than Ramsey's theorem I |
| Wednesday, November 17 |
|
Michael O'Connor, Cornell University
omega models III |
| Tuesday, November 23 |
|
Richard Shore, Cornell University
Combinatorial principles weaker than Ramsey's theorem II |
| Tuesday, November 30 |
|
Valentina Harizanov, George Washington University
Intrinsically Sigma_alpha^0 relations on computable structures |
| Wednesday, December 1 |
|
Valentina Harizanov, George Washington University
Inductive inference of classes of computably enumerable vector spaces |
| Tuesday, January 25 |
|
Rebecca Weber, Pennsylvania State University
Orbits and invariance in E_Pi and E* |
| Wednesday, January 26 |
|
Rebecca Weber, Pennsylvania State University
Lattices of effectively closed sets |
| Wednesday, February 2 |
|
Greg Hjorth, UCLA
Borel reducibility |
| Tuesday, February 8 |
|
Joseph Miller, Indiana University
The initial segment complexity of random reals, part I |
| Wednesday, February 9 |
|
Joseph Miller, Indiana University
The initial segment complexity of random reals, part II |
| Tuesday, February 15 |
|
Barbara Csima, Cornell University
Computability results used in differential geometry |
| Wednesday, February 16 |
|
Barbara Csima, Cornell University
The NW ordering in c.e. sets |
| Tuesday, February 22 |
|
Christopher Hardin, Cornell University
Eliminating r=0 in Kleene algebra I |
| Wednesday, February 23 |
|
Christopher Hardin, Cornell University
Eliminating r=0 in Kleene algebra II |
| Tuesday, March 1 |
|
Mia Minnes, Cornell University
Non-omega models: conservativity for WKL_0 over RCA_0 |
| Wednesday, March 2 |
|
Mia Minnes, Cornell University
Non-omega models: conservativity for WKL_0 over PRA |
| Tuesday, March 8 |
|
Bjorn Kjos-Hansen, University of Connecticut at Storrs
Almost everywhere domination |
| Wednesday, March 9 |
|
Bjorn Kjos-Hansen, University of Connecticut at Storrs
Weak recursive degrees |
| Tuesday, March 15 |
|
Antonio Montalban, Cornell University
A minimal pair of K-degrees |
| Wednesday, March 16 |
|
Mia Minnes, Cornell University
Non-omega models: conservativity for WKL_0 over PRA II |
| Tuesday, March 29 |
|
Michael O'Connor, Cornell University
Spectra of computable models I |
| Wednesday, March 30 |
|
Anil Nerode, Cornell University
Hybrid systems and the differential geometry of optimal control |
| Tuesday, April 5 |
|
Michael O'Connor, Cornell University
Spectra of computable models II |
| Wednesday, April 6 |
|
Anil Nerode, Cornell University
Finsler geometry of optimal control |
| Tuesday, April 12 |
|
Robert Milnikel, Kenyon College
The logic of proofs |
| Wednesday, April 13 |
|
Robert Milnikel, Kenyon College
Computational complexity of the logic of proofs |
| Tuesday, April 19 |
|
Mia Minnes, Cornell University
Automata techniques for deciding Presburger arithmetic I |
| Wednesday, April 20 |
|
Bryant Adams, Cornell University
Automata recognizable versions of Konig's lemma I |
| Tuesday, April 26 |
|
Antonio Montalban, Cornell University
Beyond the arithmetic |
| Wednesday, April 27 |
|
Bryant Adams, Cornell University
Automata recognizable versions of Konig's lemma II |
| Tuesday, May 3 |
|
Mia Minnes, Cornell University
Automata techniques for deciding Presburger arithmetic II |
| Wednesday, May 4 |
|
Mia Minnes, Cornell University
Automata techniques for deciding Presburger arithmetic III |
Last modified:
May 4, 2005
|
