# Celebratio Mathematica

## Saunders Mac Lane

### Students

 Irving Kaplansky :Maximal fields with valuations Harvard University, Ph.D. 1941 Alfred L. Putnam :Integral domains complete in a valuation Harvard University, Ph.D. 1942 Clement R. Phelps :A homogeneous algebra with limited associativity 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 Roger C. Lyndon :The cohomology theory of group extensions Harvard University, Ph.D. 1947 William C. Carter :On the cohomology theory of fields Harvard University, Ph.D. 1947 Benjamin N. Moyls :Extensions of valuations, with prescribed value groups and residue class fields Harvard University, Ph.D. 1948 Edwin J. Akutowicz :The third iterate of the Laplace transform 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 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 A. Howard :$k$-fold recursion and well-ordering University of Chicago, Ph.D. 1956 Edward Halpern :The structure of hyper algebras University of Chicago, Ph.D. 1957 William R. Ballard :Cohomology theory in fields 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 Joseph Zeu-Tse Yao :The Moore–Cartan and Leray–Serre theorem University of Chicago, Ph.D. 1960 Robert H. Szczarba :The homology of twisted Cartesian products University of Chicago, Ph.D. 1960 Arunas L. Liulevicius :The factorization of cyclic reduced powers by secondary cohomology operations 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 Robert Martin Solovay :A functorial form of the differentiable Riemann-Roch theorem University of Chicago, Ph.D. 1964 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 Peter Zvengrowski :Vector fields and vector products University of Chicago, Ph.D. 1965 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 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 Paul Henry Palmquist :The double category of adjoint squares University of Chicago, Ph.D. 1969 Eduadrdo J. Dubuc :$V$-completions by $V$-monads through the use of Kan extensions 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