Ph.D., Stanford University, 1968

*Interests*: set theory, automated deduction,
topology, measure theory.

## Research Summary

He worked 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.

He also worked on non-associative algebraic systems,
such as loops, and used computers to derive
theorems in these areas.

## Papers

These are all in postscript.
0 -- 1994

1995 -- 1999

2000 -- 2004

2005 -- 2009

2010 -- ????

Last Changed: August 26, 2020 by Steffen Lempp and Joan
Hart.