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

Last modified: May 4, 2005