

List of Talks
given in 200203
Wednesday, September 4 
 Denis Hirschfeldt, University of Chicago Classes of
degrees and the complexity of modeltheoretic 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 modeltheoretic 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 modeltheoretic 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 modeltheoretic 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 Pi11
relations and paths through (Kleene's) 0 
Tuesday, November 26 
 Richard Shore, Cornell University Intrinsically Pi11
relations and paths through (Kleene's) 0, II 
Tuesday, December 3 
 Russell Miller, Cornell University Games on finite
graphs II 
Wednesday, January 22 
 Itay BenYaacov, 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 II 
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 
Last modified:
May 29, 2003
