Logic Seminar (MATH 781-782)

Logic Seminar (MATH 781-782)

List of Talks given in 1994-95

Thu., September 1   Anil Nerode, Cornell
Nonmonotonic logic
Thu., September 8   Anil Nerode, Cornell
Nonmonotonic logic, continued
Thu., September 22   Bakhadyr Khoussainov, MSI
On automatic representations of structures
Thu., September 29   Chris Leary, Geneseo
Games and filters on omega
Tue., October 4   Jennifer Davoren, Cornell
Extensions
Thu., October 6   Dexter Kozen, Cornell
Logical aspects of set constraints
Thu., October 13   Reed Solomon, Cornell
Cut elimination
Tue., October 18   Reed Solomon, Cornell
Characterizations of extensions
Thu., October 20   Xiaolin Ge, MSI
Computable semicontinuous real functions
Tue., October 25   Denis Hirschfeldt, Cornell
Well orderings and priorities
Tue., November 1   Ashvin Dsouza, Cornell
Computing extensions
Thu., November 3   Sergei Goncharov, Novosibirsk University
Computable classes of recursive models
Tue., November 8   Robert Milnikel, Cornell
Normal default theories
Thu., November 10   Sergei Goncharov, Novosibirsk University
Families of r.e. sets with unique computable enumerations
Thu., November 17   Wiktor Marek, Univ. of Kentucky
Revision programming
Tue., January 31   Howard Blair, Syracuse University
Logic programming
Tue., February 7   Richard Shore, Cornell
Modal logic
Thu., February 9   Qi Chen, Cornell
Recursive chattering lemma
Tue., February 14   Reed Solomon, Cornell
Circumscription
Thu., February 16   Jennifer Davoren, Cornell
Extracting finite automata for hybrid systems
Tue., February 21   Robert Milnikel, Cornell
Modal nonmonotonic logic
Thu., February 23   Denis Hirschfeldt, Cornell
Ramsey�s theorem and reverse mathematics
Tue., February 28   Robert Milnikel, Cornell
Modal nonmonotonic logic
Thu., March 2   Andre Nies, Cornell visitor
Application of coding methods to structures from computability theory, I
Tue., March 7   Robert Milnikel, Cornell
Nonmonotonic modal logics
Thu., March 9   Andre Nies, Cornell visitor
Application of coding methods to structures from computability theory, II
Tue., March 14   Robert Milnikel, Cornell
Nonmonotonic modal logic
Thu., March 16   Bakhadyr Khoussainov, MSI
Presentations, reducibilities, and dimensions of recursive models
Tue., March 28   Denis Hirschfeldt, Cornell
Complexity results for nonmonotonic logics
Thu., March 30   Dexter Kozen, Cornell
Rational spaces and set constraints
Tue., April 4   Denis Hirschfeldt, Cornell
Complexity of nonmonotonic logic
Thu., April 6   Reed Solomon, Cornell
Embeddings into the r.e. degrees with one an ordering on the first jumps
Tue., April 11   Ashvin Dsouza, Cornell
Well founded semantics for general logic programs
Thu., April 13   Leon Harkleroad, Cornell visitor
Effectivizing combinatorics: variations on Szpilrajn and Dilworth
Tue., April 18   Jennifer Davoren, Cornell
Three valued nonmonotonic logic
Thu., April 27   John Rosenthal, Ithaca College
On the geometry of algebraically closed subfields of an algebraically closed field (in memory of Chris Ash)
Thu., May 4   Andre Nies, Cornell visitor
Coding in the lattice of R.E. sets