|
|
|
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 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
|
