Appendix: Stephen Simpson's Ph.D. students

 

Here is a list of my Ph.D. students, 13 in all.

1. John Steel, Determinateness and Subsystems of Analysis, Berkeley, 1977.

   (Steel is a tenured full professor at UCLA.)

   [ Although Steel's official thesis adviser was Professor John Addison of Berkeley, the following is a quotation from the acknowledgements page of Steel's thesis. ``I owe a great debt to Stephen Simpson, who guided me expertly in the perilous transition from study to research. The results of Chapters 1 and 2, together with less tangible aspects of my research, are a product of Simpson's influence.'' The thesis consists of three chapters. ]

2. Rick L Smith, Theory of Profinite Groups with Effective Presentations, Pennsylvania State University, 1979.

   (Smith is a tenured associate professor at the University of Florida.)

3. Galen Weitkamp, Kleene Recursion over the Continuum, Pennsylvania State University, 1980.

   (Weitkamp is a tenured professor at the Western Illinois University.)

4. Peter Pappas, The Model Theoretic Structure of Group Rings, Pennsylvania State University, 1982.

   (Pappas is a professor at Vassar College.)

5. Stephen H Brackin, On Ramsey-type Theorems and their Provability in Weak Formal Systems, Pennsylvania State University, 1984.

   (Brackin is a mathematician at Odyssey Research Associates.)

6. Mark Stephen Legrand, Coanalytic Sets in the Absence of Analytic Determinacy, Pennsylvania State University, 1985.

   (Legrand is an assistant professor at Auburn University.)

7. Douglas K Brown, Functional Analysis in Weak Subsystems of Second Order Arithmetic, Pennsylvania State University, 1987.

   (Brown is an associate professor at the Altoona Campus of Penn State.)

8. Jeffry L Hirst, Combinatorics in Subsystems of Second Order Arithmetic, Pennsylvania State University, 1987.

   (Hirst is an associate professor at Appalachian State University in North Carolina.)

9. Xiaokang Yu, Measure Theory in Weak Subsystems of Second Order Arithmetic, Pennsylvania State University, 1987.

   (Miss Yu is an associate professor at the Altoona Campus of Penn State.)

10. Fernando Ferreira, Polynomial Time Computable Arithmetic and Conservative Extensions, Pennsylvania State University, l988.

    (Ferreira is a professor at the University of Lisbon.)

11. Kostas Hatzikiriakou, Commutative Algebra in Subsystems of Second Order Arithmetic, Pennsylvania State University, l989.

    (Hatzikiriakou is a professor at the University of Crete.)

12. Alberto Marcone, Foundations of BQO Theory and Subsystems of Second Order Arithmetic, Pennsylvania State University, 1992.

    (Marcone is a professor at the University of Torino.)

13. A James Humphreys, On the Necessary Use of Strong Set Existence Axioms in Analysis and Functional Analysis, Pennsylvania State University, 1996.

    (Humphreys is an instructor at Penn State.)