Professor Emeritus, University of Wisconsin
707 Van Vleck Hall
480 Lincoln Drive
Madison, WI 53706
Ph.D., Stanford University, 1968
Interests: set theory, automated deduction,
topology, measure theory.
- Math 210: Finite Mathematics.
- Math 975: Seminar in Foundations (i.e., Set Theory).
I work on set theory and its applications to
various areas of mathematics,
such as set-theoretic topology and measure theory,
where many basic questions turn out to be independent of the usual
axioms of set theory.
I also work on non-associative algebraic systems,
such as loops, and use computers to derive
theorems in these areas.
These are all in postscript. In some cases, pdf or dvi files
can be provided if you
0 -- 1994
1995 -- 1999
2000 -- 2004
2005 -- 2009
2010 -- ????
Last Changed: December 30, 2009 by email@example.com