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.