Name Kenneth Kunen | ||
![]() | ||
Books Set Theory: An Introduction to Independence Proofs, The Foundations of Mathematics |
Kenneth Kunen
Herbert Kenneth Kunen (born August 2, 1943) is an emeritus professor of mathematics at the University of Wisconsin–Madison 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.
Contents
Kunen showed that if there exists a nontrivial elementary embedding j:L→L of the constructible universe, then 0# exists. He proved the consistency of a normal,
Away from the area of large cardinals, Kunen is known for intricate forcing and combinatorial constructions. He proved that it is consistent that the Martin Axiom first fails at a singular cardinal and constructed under CH a compact L-space supporting a nonseparable measure. He also showed that
Kunen completed his undergraduate degree at Caltech and received his Ph.D. in 1968 from Stanford University, where he was supervised by Dana Scott.
Selected publications
Personal life
Kunen was born in New York in 1943. He lives in Madison, Wisconsin with his wife Anne. They have two sons, Isaac and Adam.