Kenneth Kunen

Herbert Kenneth Kunen (August 2, 1943 – ) is an emeritus professor of mathematics at the University of Wisconsin-Madison [http://www.math.wisc.edu/~apache/emeriti.html] 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, $aleph\_2$-saturated ideal on $aleph\_1$ from the consistency of the existence of a huge cardinal. He introduced the method of iterated ultrapowers, with which he proved that if $kappa$ is a measurable cardinal with $2^kappa>kappa^+$ then there is an inner model of set theory with $kappa$ many measurable cardinals. He proved the impossibility of a nontrivial elementary embedding $V\; o\; V$, which had been considered as the ultimate large cardinal assumption (a Reinhardt cardinal).

Kunen received his Ph.D. in 1968 from Stanford University. [MathGenealogy|id=9055]

elected publications

*"". 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.

References

External links

* [http://www.math.wisc.edu/~kunen/ Kunen's home page]