|
|
|
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
|
