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 |