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