Ph.D., Stanford University, 1968

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

**AMS Notices Memorial Tribute**

## 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

Many are also available in the original postscript.
0 -- 1994

1995 -- 1999

2000 -- 2004

2005 -- 2009

2010 -- 2022

Last Changed: October 21, 2022, by Steffen Lempp.