Logic Seminar (MATH 781-782)
Logic Seminar (MATH 781-782)
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 |