To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

From Wikipedia, the free encyclopedia

Kenneth Kunen
Kenneth Kunen.jpg
Born
Herbert Kenneth Kunen

(1943-08-02)August 2, 1943
DiedAugust 14, 2020(2020-08-14) (aged 77)
NationalityAmerican
Alma materCalifornia Institute of Technology
Stanford University
Known forset theory, set-theoretic topology, non-associative algebraic systems
Scientific career
FieldsMathematics
InstitutionsUniversity of Wisconsin–Madison
Doctoral advisorDana Scott

Herbert Kenneth Kunen (August 2, 1943 – August 14, 2020[1]) was a professor of mathematics at the University of Wisconsin–Madison[2] who worked in set theory and its applications to various areas of mathematics, such as set-theoretic topology and measure theory. He also worked on non-associative algebraic systems, such as loops, and used computer software, such as the Otter theorem prover, to derive theorems in these areas.

Personal life

Kunen was born in New York City in 1943 and died in 2020.[1] He lived in Madison, Wisconsin, with his wife Anne, with whom he had two sons, Isaac and Adam.[3]

Education

Kunen completed his undergraduate degree at the California Institute of Technology[3] and received his Ph.D. in 1968 from Stanford University, where he was supervised by Dana Scott.[4]

Career and research

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, -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 or is a strongly compact cardinal then there is an inner model of set theory with many measurable cardinals. He proved Kunen's inconsistency theorem showing the impossibility of a nontrivial elementary embedding , which had been suggested as a large cardinal assumption (a Reinhardt cardinal).

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. He also showed that has no increasing chain of length in the standard Cohen model where the continuum is . The concept of a Jech–Kunen tree is named after him and Thomas Jech.

Bibliography

The journal Topology and its Applications has dedicated a special issue to "Ken" Kunen,[3] containing a biography by Arnold W. Miller, and surveys about Kunen's research in various fields by Mary Ellen Rudin, Akihiro Kanamori, István Juhász, Jan van Mill, Dikran Dikranjan, and Michael Kinyon.

Selected publications

  • Set Theory. College Publications, 2011. ISBN 978-1848900509.
  • The Foundations of Mathematics. College Publications, 2009. ISBN 978-1-904987-14-7.
  • Set Theory: An Introduction to Independence Proofs. North-Holland, 1980. ISBN 0-444-85401-0.[5]
  • (co-edited with Jerry E. Vaughan). Handbook of Set-Theoretic Topology. North-Holland, 1984. ISBN 0-444-86580-2.[6]

References

  1. ^ a b "In Memoriam: Ken Kunen". Department of Mathematics, University of Wisconsin–Madison. 17 August 2020.
  2. ^ http://www.math.wisc.edu/~apache/emeriti.html
  3. ^ a b c Hart, Joan, ed. (1 Dec 2011). "Special Issue: Ken Kunen". Topology and Its Applications. 158 (18): 2443–2564.
  4. ^ Kenneth Kunen at the Mathematics Genealogy Project
  5. ^ Henson, C. Ward (1984). "Review: Set theory, an introduction to independence proofs, by Kenneth Kunen" (PDF). Bull. Amer. Math. Soc. (N.S.). 10 (1): 129–131. doi:10.1090/s0273-0979-1984-15214-5.
  6. ^ Baldwin, Stewart (December 1987). "Review: Handbook of set-theoretic topology edited by Kenneth Kunen and Jerry E. Vaughan". Journal of Symbolic Logic. 52 (4): 1044–1045. doi:10.2307/2273837. JSTOR 2273837.

External links


This page was last edited on 13 September 2021, at 11:24
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.