|Published (Last):||21 April 2019|
|PDF File Size:||1.66 Mb|
|ePub File Size:||12.14 Mb|
|Price:||Free* [*Free Regsitration Required]|
Herbert Kenneth Kunen born August 2, 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.
Away from the area of large cardinals, Kunen is known for intricate forcing and combinatorial constructions. He proved that it is consistent that Martin's axiom first fails at a singular cardinal and constructed under the continuum hypothesis a compact L-space supporting a nonseparable measure. The concept of a Jech—Kunen tree is named after him and Thomas Jech.
Kunen completed his undergraduate degree at the California Institute of Technology  and received his Ph. Kunen was born in New York in He lives in Madison, Wisconsin with his wife Anne. They have two sons, Isaac and Adam. The journal Topology and its Applications has dedicated a special issue to "Ken" Kunen,  containing a biography by Arnold W.
From Wikipedia, the free encyclopedia. American mathematician. Topology and Its Applications. Ward The Journal of Symbolic Logic. Categories : births Living people 20th-century American mathematicians 21st-century American mathematicians Set theorists Stanford University alumni Topologists University of Wisconsin—Madison faculty American logicians American mathematician stubs.
Herbert Kenneth Kunen August 2, California Institute of Technology Stanford University. University of Wisconsin—Madison. This article about an American mathematician is a stub. You can help Wikipedia by expanding it.
The Foundations of Mathematics