Logic Seminar (MATH 781-782)

Logic Seminar (MATH 781-782)

List of Talks given in 2002-03

Wednesday, September 4   Denis Hirschfeldt, University of Chicago
Classes of degrees and the complexity of model-theoretic constructions I
Tuesday, September 10   Anil Nerode, Cornell University
Automata theory, introduction
Wednesday, September 11   Denis Hirschfeldt, University of Chicago
Classes of degrees and the complexity of model-theoretic constructions II
Tuesday, September 17   Adam Barth, Cornell University
Finite automata I
Wednesday, September 18   Denis Hirschfeldt, University of Chicago
Classes of degrees and the complexity of model-theoretic constructions III
Tuesday, September 24   Adam Barth, Cornell University
Finite automata II
Wednesday, September 25   Denis Hirschfeldt, University of Chicago
Classes of degrees and the complexity of model-theoretic constructions IV
Tuesday, October 1   Antonio Montalban, Cornell University
Generalized finite automata I
Wednesday, October 2   Yuval Gabay, Cornell University
Strong minimal covers and weakly recursive sets
Tuesday, October 8   Antonio Montalban, Cornell University
Monadic second order logic of strings
Wednesday, October 9   Noam Greenberg, Cornell University
Namba forcing
Wednesday, October 16   Noam Greenberg, Cornell University
Namba forcing II
Tuesday, October 22   Peter Cholak, University of Notre Dame
Orbits of computably enumerable sets I
Wednesday, October 23   Peter Cholak, University of Notre Dame
Orbits of computably enumerable sets II
Tuesday, October 29   Christopher Hardin, Cornell University
Buchi automata
Wednesday, October 30   Russell Miller, Cornell University
Order computable sets
Tuesday, November 5   Noam Greenberg, Cornell University
Buchi automata II
Wednesday, November 6   Russell Miller, Cornell University
Order computable sets II
Tuesday, November 12   Noam Greenberg, Cornell University
Buchi automata III
Wednesday, November 13   Dexter Kozen, Cornell University
Some results in dynamic model theory
Tuesday, November 19   Russell Miller, Cornell University
Games on finite graphs I
Wednesday, November 20   Richard Shore, Cornell University
Intrinsically Pi-1-1 relations and paths through (Kleene's) 0
Tuesday, November 26   Richard Shore, Cornell University
Intrinsically Pi-1-1 relations and paths through (Kleene's) 0, II
Tuesday, December 3   Russell Miller, Cornell University
Games on finite graphs II
Wednesday, January 22   Itay Ben-Yaacov, University of Paris and University of Illinois at Urbana
Positive model theory
Tuesday, January 28   Bakhadyr Khoussainov, University of Aukland (New Zealand)
Automatic structures
Wednesday, January 29   Bakhadyr Khoussainov, University of Aukland (New Zealand)
Computably enumerable algebras: expansions, finite presentations and isomorphisms
Tuesday, February 4   Yuval Gabay, Cornell University
Rabin automata I
Wednesday, February 5   Antonio Montalban, Cornell University
Embedding jump upper semilattices in D
Tuesday, February 11   Yuval Gabay, Cornell University
Rabin automata II
Wednesday, February 12   Antonio Montalban, Cornell University
Embedding jump upper semilattices in D (part II)
Tuesday, February 18   Yuval Gabay, Cornell University
Rabin automata and S2S
Wednesday, February 19   Noam Greenberg, Cornell University
Embedding quasilattices in the r.e. degrees I
Tuesday, February 25   Noam Greenberg, Cornell University
Embedding quasilattices in the r.e. degrees II
Wednesday, February 26   Noam Greenberg, Cornell University
Embedding quasilattices in the r.e. degrees III
Tuesday, March 4   Vivienne Morley, Cornell University
Decidability applications of Rabin automata and S2S I
Wednesday, March 5   Christopher Hardin, Cornell University
Kleene algebras with tests I
Tuesday, March 11   Vivienne Morley, Cornell University
Decidability applications of Rabin automata and S2S II
Wednesday, March 12   Christopher Hardin, Cornell University
Kleene algebras with tests II
Tuesday, March 25   Barbara Csima, University of Chicago
Computability theory for differential geometry
Wednesday, March 26   Christopher Hardin, Cornell University
Kleene algebras with tests III
Tuesday, April 1   Joseph Miller, University of Indiana at Bloomington
Degrees of unsolvability of continuous functions I
Wednesday, April 2   Joseph Miller, University of Indiana at Bloomington
Degrees of unsolvability of continuous functions II
Tuesday, April 8   Richard Shore, Cornell University
The borderline between decidability and undecidability in degree structures
Wednesday, April 9   Richard Shore, Cornell University
The undecidability of the two quantifier theory of D with jump and join
Tuesday, April 15   Richard Shore, Cornell University
The undecidability of the two quantifier theory of D with jump and join II
Tuesday, April 22   Noam Greenberg, Cornell University
The covering lemma I
Tuesday, April 29   Noam Greenberg, Cornell University
The covering lemma II
Wednesday, April 30   Noam Greenberg, Cornell University
The covering lemma III