Kenneth Kunen
From Wikipedia, the free encyclopedia
Kenneth Kunen is a professor of mathematics at the University of Wisconsin who works in set theory and its applications to various areas of mathematics, such as set-theoretic topology and measure theory. He also works on non-associative algebraic systems, such as loops, and uses computer software, such as the Otter theorem prover, to derive theorems in these areas.
[edit] Selected publications
- Set Theory: An Introduction to Independence Proofs. North-Holland, 1980. ISBN 0-444-85401-0.
- (co-edited with Jerry E. Vaughan). Handbook of Set-Theoretic Topology. North-Holland, 1984. ISBN 0-444-86580-2.
[edit] External links
This article about a mathematician from the United States is a stub. You can help Wikipedia by expanding it.
