Logic Seminar (MATH 781-782)

List of Talks given in 2001-02

Tuesday, September 4   Michael Morley, Cornell University
Infinitary formulas
Thursday, September 6   Noam Greenberg, Cornell University
Precipitous and saturated ideals
Tuesday, September 11   Joseph Miller, Cornell University
Computable infinitary formulas
Wednesday, September 12   Yuval Gabay, Cornell University
Barwise compactness
Thursday, September 13   Noam Greenberg, Cornell University
Sharps and projective ordinals
Thursday, September 20   Noam Greenberg, Cornell University
Projective ordinals
Tuesday, September 25   Joseph Miller, Cornell University
Hyperarithmetic sets of formulas
Thursday, October 4   Russell Miller, Cornell University
Some automorphisms of the lattice of c.e. sets
Thursday, October 11   Yuval Gabay, Cornell University
Applications of barwise compactness
Tuesday, October 16   Julia Knight, Notre Dame University
Complicated relations in computable structures
Wednesday, October 17   Julia Knight, Notre Dame University
n-diagrams
Tuesday, October 23   Christopher Hardin, Cornell University
Computable linear orderings
Wednesday, October 24   Christopher Hardin, Cornell University
Computable linear orderings II
Thursday, October 25   Richard Shore, Cornell University
Invariants, reverse mathematics and Boolean algebras I
Tuesday, October 30   Christopher Hardin, Cornell University
Computable Boolean algebras
Thursday, November 1   Richard Shore, Cornell University
Invariants, reverse mathematics and Boolean algebras II
Tuesday, November 6   Antonio Montalban, Cornell University
Completeness and forcing I
Thursday, November 8   Noam Greenberg, Cornell University
A measurable and saturation imply Not CH, effectively I
Tuesday, November 13   Antonio Montalban, Cornell University
Completeness and forcing II
Wednesday, November 14   Shai Ben-David, Technion (Israel)
On the inability to resolve the P versus NP question
Thursday, November 15   Noam Greenberg, Cornell University
A measurable and saturation imply Not CH, effectively II
Tuesday, November 20   Antonio Montalban, Cornell University
Completeness and forcing III
Tuesday, November 27   Vivian Morley, Cornell University
The Ash-Nerode theorem
Thursday, November 29   Noam Greenberg, Cornell University
A measurable and saturation imply Not CH, effectively III
Tuesday, December 4   Vivian Morley, Cornell University
The Ash-Nerode theorem II
Wednesday, December 5   Andre Nies, University of Aukland (New Zealand)
Randomness and lowness properties of sets
Wednesday, February 6   Russell Miller, Cornell University
Introduction to O-minimal theory
Thursday, February 7   Noam Greenberg, Cornell University
Stationary towers I
Wednesday, February 13   Russell Miller, Cornell University
Introduction to O-minimal theory II
Thursday, February 14   Noam Greenberg, Cornell University
Stationary towers II
Wednesday, February 20   Russell Miller, Cornell University
Introduction to O-minimal theory III
Thursday, February 21   Noam Greenberg, Cornell University
Stationary towers III
Wednesday, February 27   Russell Miller, Cornell University
Introduction to O-minimal theory IV
Thursday, February 28   Noam Greenberg, Cornell University
Stationary towers IV
Wednesday, March 6   Vivian Morley, Cornell University
Semi-analytic sets
Thursday, March 7   Noam Greenberg, Cornell University
Stationary towers V
Wednesday, March 13   Vivian Morley, Cornell University
Subanalytic sets
Thursday, March 14   Noam Greenberg, Cornell University
Measurability and inaccessability
Wednesday, March 27   Vivian Morley, Cornell University
Subanalytic sets III
Thursday, March 28   Christopher Hardin, Cornell University
Barendregt on combinatory logics and algebras I
Wednesday, April 3   Russell Miller, Cornell University
Ritt's algorithm for systems of algebraic differential equations I
Thursday, April 4   Christopher Hardin, Cornell University
Combinatory logic according to Barendregt I
Wednesday, April 10   Christopher Hardin, Cornell University
Combinatory logic according to Barendregt II
Thursday, April 11   Russell Miller, Cornell University
Ritt's algorithm for systems of algebraic differential equations II
Wednesday, April 24   Russell Miller, Cornell University
Ritt's algorithm for arbitrary systems of algebraic PDEs
Thursday, April 25   Antonio Montalban, Cornell University
Model theory of differential algebra
Wednesday, May 1   Antonio Montalban, Cornell University
Model theory of differential algebra II
Thursday, May 2   Sergey Slavnov, Cornell University
Multiplicative linear logic and symplectic manifolds

Last modified: May 30, 2003