1
INVITED LECTURES
(list is complete from January 1997 to present, October 5, 2004)
1. 1971
(January), gave invited address at the Annual meeting of
the ASL, Atlantic City, New Jersey, (1 hour).
2. 1971
(August), gave two invited addresses to the NATO Meeting at
Cambridge University, England, on "Categoricity Relative to
Ordinals," and "Philosophy of Set Theory," (each address 1 hour).
3. 1972
(Spring), gave invited address at Berkeley Logic Colloquium
on "Beth's Theorem and Hyperdegrees of Borel Sets."
4. 1972
(Summer), gave invited address at AMS Meeting at Dartmouth,
New Hampshire, on "Borel Sets and Hyperdegrees," (20 minutes).
5. 1972
(Summer), gave a series of invited talks at Cambridge
University, England, on "Beth's Definability Theorem."
6. 1973
(Fall), gave invited address at the U.S.-Japan Conference
of Proof Theory, Harvard University, (1 hour).
7. 1974
(Summer), invited speaker at the International Congress of
Mathematicians, Vancouver, B.C., Canada, (50 minutes).
8. 1975
(February), gave invited talk at the Princeton University
Logic Seminar on "Hilbert's Second Problem - Reformulations and
Results," (1 1/2 hours).
9. 1975
(March), gave an invited address at the M.I.T. Set Theory
Conference on "Categoricity with Respect to the Ordinals," (1 hour).
10. 1975 (Spring), invited speaker at AMS Meeting at St. Louis,
Missouri, (20 minutes).
11. 1975
(Spring), invited panelist for joint symposium on
"Church's Thesis" between the Association for Symbolic Logic and the
American Philosophical Association, Chicago, Illinois, (2 hours).
12. 1975
(December), gave invited address at the Annual Meeting of
the ASL, New York, on "The Logical Strength of Mathematical
Statements," (1 hour).
13. 1976 (Summer), gave an invited address at the Rockefeller
University Logic Conference on "A Programmatic Extension of Gödel's
Incompleteness Theorems," (1 hour).