Logic Seminar (MATH 781-782)
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 |