Kenneth Kunen
From Wikipedia, the free encyclopedia
Herbert Kenneth Kunen (August 2, 1943 – ) is a 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. He proved the consistency of a normal, 
-saturated ideal on 
from the consistency of the existence of a huge cardinal. He introduced the method of iterated ultrapowers, with which he proved that if κ is a measurable cardinal with 2κ > κ + then there is an inner model of set theory with κ many measurable cardinals. He proved the impossibility of a nontrivial elementary embedding 
, which had been considered as the ultimate large cardinal assumption (a Reinhardt cardinal).
Kunen received his Ph.D. in 1968 from Stanford University.[1]
[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.
