Past PhDs

Smooth Markov Partitions and Toral Automorphisms

Elise Ellen Cawley
Charles C. Pugh
1989

Boolean Logic in Artificial Intelligence and Turing Degrees of Boolean-Valued Sets

Maohua Cai
Leo Anthony Harrington
1989

The Interpretability Logic of Peano Arithmetic

Alessandro Berarducci
Robert M. Solovay
1989

A Model of vortex Induced Radiation in the Beta Plane

George Irving Bell
John C. Neu
1989

Concentration-Cancellation Phenomena for Weak Solutions to Certain Non-Linear Partial Differential Equations

Yuxi Zheng
L. Craig Evans
1990

Nonlinear Boundary Value Problems: Computation, Convergence, and Complexity

Xiaohua Xuan
Stephen Smale
1990

Morita Equivalence of Poisson Manifolds

Ping Xu
Alan D. Weinstein
1990

On C*-Algebras Related to Schrodinger Type Operations

Tai-Man Tang
Heinz O. Cordes
1990

Transfinite Induction and Hierarchies Generated by Transfinite Recursion within Peano Arithmetic

Richard D. Sommer
Robert M. Solovay
1990

Generic Cyclic Polynomials and Some Applications

Gene Ward Smith
Kenneth A. Ribet
1990