Past PhDs

Fragments of First and Second Order Arithmetic and Length of Proofs

Aleksandar Djordje Ignjatovic
Jack H. Silver
1990

Applications of Topology to Lower Bound Estimates in Computer Science

Michael David Hirsch
Robion Kirby
Stephen Smale
1990

Lattice of Sets Recursively Enumerable in an Oracle

John Todd Hammond
Robert Lawson Vaught
1990

Vector Bundles on Algebraic Curves

Iwona Maria Grzegorczyk
Shoshichi Kobayashi
1990

Surfaces in the Four-Dimensional Grassmannian

Mark William Gross
Robin C. Hartshorne
1990

Curves on Kummer Surfaces in p3

Maria del Rosario Gonzalez-Dorrego
Robin C. Hartshorne
1990

Complex Hardy Fields

Dmitry M. Gokhman
Maxwell A. Rosenlicht
1990

On closed characteristics of 2 forms

Viktor Ginzburg
Alan D. Weinstein
1990

Diophantine Approximation and the qx+1 Problem

Zachary Martin Franco
Henry Helson
1990

A functional Calculus and Its Applications to Inner Function

Trent Alan Eggleston
Henry Helson
1990