### Students

Irving Kaplansky :Maximal fields with valuations Harvard University, Ph.D. 1941 |

Clement R. Phelps :A homogeneous algebra with limited associativity Harvard University, Ph.D. 1942 |

Alfred L. Putnam :Integral domains complete in a valuation Harvard University, Ph.D. 1942 |

Michael Joseph Norris :I. Topological spaces having the same regular open sets. II. A standard topological appraoch to some parts of the theory of Boolean maps Harvard University, Ph.D. 1944 |

William C. Carter :On the cohomology theory of fields Harvard University, Ph.D. 1947 |

Roger C. Lyndon :The cohomology theory of group extensions Harvard University, Ph.D. 1947 |

Edwin J. Akutowicz :The third iterate of the Laplace transform Harvard University, Ph.D. 1948 |

Benjamin N. Moyls :Extensions of valuations, with prescribed value groups and residue class fields Harvard University, Ph.D. 1948 |

Robert S. Novosad :Relations between homotopy and homology groups University of Chicago, Ph.D. 1952 |

Stanley P. Hughart :Representations for dicategories California Institute of Technology, Ph.D. 1954 |

Ronald J. Nunke :Modules of extensions over Dedekind rings University of Chicago, Ph.D. 1955 |

William A. Howard :\(k\)-fold recursion and well-ordering University of Chicago, Ph.D. 1956 |

Arthur H. Kruse :Introduction to the theory of block assemblages and development in the theory of retraction University of Chicago, Ph.D. 1956 |

Anil Nerode :Composita, equations and recursive definition University of Chicago, Ph.D. 1956 |

William R. Ballard :Cohomology theory in fields University of Chicago, Ph.D. 1957 |

Edward Halpern :The structure of hyper algebras University of Chicago, Ph.D. 1957 |

John G. Thompson :A proof that a finite group with a fixed-point-free automorphism of prime order is nilpotent University of Chicago, Ph.D. 1959 |

Arunas L. Liulevicius :The factorization of cyclic reduced powers by secondary cohomology operations University of Chicago, Ph.D. 1960 |

Robert H. Szczarba :The homology of twisted Cartesian products University of Chicago, Ph.D. 1960 |

Joseph Zeu-Tse Yao :The Moore–Cartan and Leray–Serre theorem University of Chicago, Ph.D. 1960 |

Leif Kristensen :On the cohomology of two-stage Postnikov systems University of Chicago, Ph.D. 1962 |

Michael D. Morley :Categoricity in power University of Chicago, Ph.D. 1962 |

Thomas W. Hungerford :Bockstein spectra University of Chicago, Ph.D. 1963 |

Tzee-Char Kuo :Universal objects for spectral sequences University of Chicago, Ph.D. 1964 |

Robert H. Mountjoy :Abelian varieties attached to representations of discontinuous groups University of Chicago, Ph.D. 1964 |

Robert Martin Solovay :A functorial form of the differentiable Riemann-Roch theorem University of Chicago, Ph.D. 1964 |

John L. MacDonald :Group-derived functors and relative representability University of Chicago, Ph.D. 1965 |

James Schafer :The homology ring of an Abelian group University of Chicago, Ph.D. 1965 |

Peter Zvengrowski :Vector fields and vector products University of Chicago, Ph.D. 1965 |

David Arthur Shafer :The Hamel basis theorem and the countable axiom of choice: An exercise in the method of Paul Cohen University of Chicago, Ph.D. 1966 |

Eduadrdo J. Dubuc :\(V\)-completions by \(V\)-monads through the use of Kan extensions University of Chicago, Ph.D. 1969 |

Paul Henry Palmquist :The double category of adjoint squares University of Chicago, Ph.D. 1969 |

Howard B. Stauffer :Completions of categories, satellites, and derived functors University of California, Berkeley, Ph.D. 1969 |

David Eisenbud :Torsion modules over Dedekind prime rings University of Chicago, Ph.D. 1970 |

Rodiani Voreadou :A coherence theorem for closed categories University of Chicago, Ph.D. 1972 |

Ross M. Hamsher :Eilenberg–Mac Lane algebras and their computation: An invariant description of \(H(\pi, 1)\) University of Chicago, Ph.D. 1973 |

Gerald John Decker :The integral homology algebra of an Eilenberg–Mac Lane space University of Chicago, Ph.D. 1974 |

Edwin J. Akutowicz :Iterative algebraic theories, infinite trees and program schemata University of Chicago, Ph.D. 1976 |

Kathleen Rae Edwards :Relative finiteness and the preservation of filtered colimits University of Chicago, Ph.D. 1980 |

Daniel Jakobsen :Modules of extensions over Dedekind rings University of Chicago, Ph.D. 1995 |

Steven M. Awodey :Logic in topoi: Functorial semantics for higher-order logic University of Chicago, Ph.D. 1997 |