Steven Orey

Dissertation: Formal Development of Ordinal Number Theory and Applications to Consistency Proofs

Advisor 1

Name	Institution	Year	Students
Carol Bezuidenhout	University of Minnesota - Twin Cities	1985	0
Tzuu-Shuh Chiang	University of Minnesota - Twin Cities	1980	0
Michael Cranston	University of Minnesota - Twin Cities	1980	11
Gabor Hardy	University of Minnesota - Twin Cities	1987	0
Dug Hun Hong	University of Minnesota - Twin Cities	1990	0
Michael L. Levitan	University of Minnesota - Twin Cities	1967	0
Peter DesBarres March	University of Minnesota - Twin Cities	1983	8
Timo Olavi Seppäläinen	University of Minnesota - Twin Cities	1991	10
Ananda Weerasinghe	University of Minnesota - Twin Cities	1986	2

Genealogy