Office: 3830 East Hall
Mathematics Department
University of Michigan
(2072 East Hall
525 East University Ave.)
Ann Arbor, MI 48109-1043
U.S.A.
Office phone: (734) 763-1183
Dept. fax: (734) 763-0937
My research is primarily in mathematical logic, especially set theory, but it extends into other areas, including finite combinatorics, category theory, and theoretical computer science. Here are some of the subjects I've worked in recently.
During the winter semester, 2008, I am teaching Math 682 (Set theory).
My term as associate chairman for graduate studies ended in August, 1999. The present associate chairman is Professor John Erik Fornaess, whose e-mail address for administrative matters is math-acgs@umich.edu
The following links will take you to pages on which my recent papers are listed with abstracts and links to PostScript and PDF files of the papers themselves. "Recent" is defined as "existing in electronic form"; the borderline between recent and archaic is roughly 1993, with three exceptions. Dave Childs has generously provided an electronic version of my 1984 paper "The interaction between category theory and set theory" and Peter Krautzberger has done the same for my 1978 paper "A model-theoretic view of some special ultrafilters" and my 1987 paper "Ultrafilters related to Hindman's finite-unions theorem and its extensions."
Topos Theory and Constructive Logic