Herbert Kenneth Kunen (2 de agosto de 1943 - 14 de agosto de 2020 [1] ) fue profesor de matemáticas en la Universidad de Wisconsin-Madison [2] que trabajó en la teoría de conjuntos y sus aplicaciones a diversas áreas de las matemáticas, como la de conjuntos. Topología teórica y teoría de la medida . También trabajó en sistemas algebraicos no asociativos , como bucles , y utilizó software informático, como el demostrador del teorema de Otter , para derivar teoremas en estas áreas.
Kunen nació en la ciudad de Nueva York en 1943 y murió en 2020. [1] Vivía en Madison, Wisconsin , con su esposa Anne, con quien tuvo dos hijos, Isaac y Adam. [3]
Kunen completó su licenciatura en el Instituto de Tecnología de California [3] y recibió su doctorado. en 1968 de la Universidad de Stanford , donde fue supervisado por Dana Scott . [4]
Kunen demostró que si existe una incrustación elemental no trivial j : L → L del universo construible , entonces existe 0 # . Demostró la coherencia de un ideal normal y saturado a partir de la coherencia de la existencia de un enorme cardenal . Introdujo el método de las ultrapotencias iteradas , con el que demostró que si es un cardenal medible con o es un cardenal fuertemente compacto, entonces existe un modelo interno de teoría de conjuntos con muchos cardinales mensurables. Demostró el teorema de inconsistencia de Kunen que muestra la imposibilidad de una incrustación elemental no trivial , que había sido sugerida como un supuesto cardinal amplio (un cardinal de Reinhardt ).
Lejos del área de los grandes cardenales, Kunen es conocido por sus intrincadas construcciones combinatorias y forzadas . Demostró que es consistente que el axioma de Martin falle primero en un cardinal singular y construyó, bajo la hipótesis del continuo , un espacio L compacto que soporta una medida no separable. También demostró que no existe una cadena creciente de longitud en el modelo estándar de Cohen donde está el continuo . El concepto de árbol Jech-Kunen lleva su nombre y el de Thomas Jech .
La revista Topology and its Applications ha dedicado un número especial a "Ken" Kunen, [3] que contiene una biografía de Arnold W. Miller y estudios sobre las investigaciones de Kunen en diversos campos realizados por Mary Ellen Rudin , Akihiro Kanamori , István Juhász , Jan van Mill, Dikran Dikranjan y Michael Kinyon.