Jennifer Davoren, Australian National University

Logic-based design and synthesis of controllers for hybrid systems

8/31/00 - Thursday

Noam Greenberg, Cornell University

Admissibility and regularity I

9/5/00 - Tuesday

Alex Usvyatsov, Hebrew University

Simple theories

9/7/00 - Thursday

Noam Greenberg, Cornell University

Admissibility and regularity II: Sigma_1 projecta

9/12/00 - Tuesday

Russell Miller, Cornell University

Computable categoricity and trees

9/14/00 - Thursday

Noam Greenberg, Cornell University

Regularity and hyperregularity

9/19/00 - Tuesday

Noam Greenberg, Cornell University

Post problem for alpha recursion theory I

9/21/00 - Thursday

Vladimir Uspensky, Lomonosov State University of Moscow

Kolmogorov's information theory versus Shannon's one

9/26/00 - Tuesday

Roman Tymkiv, Cornell University

Elementary invariants for Boolean algebras I

9/28/00 - Thursday

Noam Greenberg, Cornell University

Post's problem for alpha recursion theory II

10/3/00 - Tuesday

Roman Tymkiv, Cornell University

Elementary invariants for Boolean algebras II

10/5/00 - Thursday

Yuval Gabay, Cornell University

Finite injury priority arguments in alpha recursion theory I

10/12/00 - Thursday

Itai Ben-Yaacov, Ecole Normale Superieure (Paris)

Hyperimaginaries and simple theories I

10/17/00 - Tuesday

Itai Ben-Yaacov, Ecole Normale Superieure (Paris)

Hyperimaginaries and simple theories II

10/19/00 - Thursday

Yuval Gabay, Cornell University

Finite injury priority arguments in alpha recursion theory II

10/24/00 - Tuesday

Russell Miller, Cornell University

Definability of incompleteness for Friedberg splittings

10/26/00 - Thursday

Yuval Gabay, Cornell University

Dynamic methods and blocking

10/31/00 - Tuesday

Nat Miller, Cornell University

Diagrams in Euclidean geometry: diagram satisfaction is NP-hard and a
new hierarchy of diagrammatic Euclidean geometries

11/2/00 - Thursday

Yuval Gabay, Cornell University

The splitting theorem in alpha-recursion theory

11/7/00 - Tuesday

Mohan Rajagopalan, Cornell University

Density of the alpha-r.e. degree I

11/9/00 - Thursday

Charles Steinhorn, Vassar College

An approach to model theory for finite structures

11/14/00 - Tuesday

Mohan Rajagopalan, Cornell University

Density of the alpha-r.e. degree II

11/21/00 - Tuesday

Rajmohan Rajagopalan, Cornell University

Density of the alpha-r.e. degrees III

11/28/00 - Tuesday

Rajmohan Rajagopalan, Cornell University

Density of the alpha-r.e. degrees IV

1/25/01 - Thursday

Christopher Hardin, Cornell University

Reverse mathematics and the mean value theorem I

1/30/01 - Tuesday

Joseph Miller, Cornell University

Effective completeness theorem

2/1/01 - Thursday

Christopher Hardin, Cornell University

Reverse mathematics and the mean value theorem II

2/6/01 - Tuesday

Joseph Miller, Cornell University

Model completeness and decidability

2/8/01 - Thursday

Christopher Hardin, Cornell University

Reverse mathematics and the mean value theorem III

2/8/01 - Thursday

Yuval Gabay, Cornell University

Forcing and hyperdegrees I

2/13/01 - Tuesday

Mohan Rajagopalan, Cornell University

Omitting types and decidability

2/15/01 - Thursday

Yuval Gabay, Cornell University

Forcing and hyperdegrees II

2/20/01 - Tuesday

Mohan Rajagopalan, Cornell University

Effective omitting types theorem

2/22/01 - Thursday

Yuval Gabay, Cornell University

Forcing and hyperdegrees III

2/27/01 - Tuesday

Richard Shore, Cornell University

Decidable prime models

3/1/01 - Thursday

Yuval Gabay, Cornell University

Minimal hyperdegrees

3/6/01 - Tuesday

Mohan Rajagopalan, Cornell University

Effective omiting types theorem

3/8/01 - Thursday

Suman Ganguli, Cornell University

Decidable models for modal logics with infinitary modalities: dynamic
logic, temporal logic, epistemic logic

3/13/01 - Tuesday

Christopher Hardin, Cornell University

Decidable saturated models

3/15/01 - Thursday

Denis Hirschfeldt, University of Chicago

Measures of relative randomness

3/27/01 - Tuesday

Christopher Hardin, Cornell University

Decidable saturated models

4/3/01 - Tuesday

Christopher Hardin, Cornell University

Decidable saturated models II

4/5/01 - Thursday

Joseph Miller, Cornell University

Characterizing fixed point sets for effective functions

4/10/01 - Tuesday

Christopher Hardin, Cornell University

Decidable homogeneous models

4/12/01 - Thursday

Michael Morley, Cornell University

Finitely axiomatizable theories I

4/17/01 - Tuesday

Noam Greenberg, Cornell University

Vaught's theorem fails for decidable models

4/19/01 - Thursday

Michael Morley, Cornell University

Finitely axiomatizable theories II

4/24/01 - Tuesday

Noam Greenberg, Cornell University

Decidable Aleph_1 categorical theories

4/26/01 - Thursday

Jesse Alt, Cornell University

Strong normalization and confluence in reflective lambda-calculus

5/1/01 - Tuesday

Vivian Morley, Ithaca, New York

Indescernibles and decidability

5/3/01 - Thursday

Vivian Morley, Ithaca, New York

Indescernibles and decidability II