Kenneth Kunen

Kunen, [[Hearst Mining Building]], 1972 Herbert Kenneth Kunen (August 2, 1943August 14, 2020) was a professor of mathematics at the University of Wisconsin–Madison who worked in set theory and its applications to various areas of mathematics, such as set-theoretic topology and measure theory. He also worked on non-associative algebraic systems, such as loops, and used computer software, such as the Otter theorem prover, to derive theorems in these areas. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Kunen, Kenneth, 1943-', query time: 0.01s Refine Results
  1. 1

    Set theory / by Kunen, Kenneth, 1943-

    Published 2013
    Book
  2. 2

    The foundations of mathematics / by Kunen, Kenneth, 1943-

    Published 2012
    Book