stringtranslate.com

Kenneth Kunen

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.

Vida personal

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]

Educación

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]

Carrera e investigación

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 .

Bibliografía

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.

Publicaciones Seleccionadas

Referencias

  1. ^ ab "En memoria: Ken Kunen". Departamento de Matemáticas, Universidad de Wisconsin-Madison . 17 de agosto de 2020.
  2. ^ "Eméritos del Departamento de Matemáticas de la Universidad de Washington". Archivado desde el original el 9 de diciembre de 2008 . Consultado el 8 de octubre de 2008 .
  3. ^ abc Hart, Joan, ed. (1 de diciembre de 2011). "Número especial: Ken Kunen". Topología y sus aplicaciones . 158 (18): 2443–2564.
  4. ^ Kenneth Kunen en el Proyecto de genealogía de matemáticas
  5. ^ Henson, C. Ward (1984). "Reseña: Teoría de conjuntos, una introducción a las pruebas de independencia, por Kenneth Kunen" (PDF) . Toro. América. Matemáticas. Soc. (NS) . 10 (1): 129-131. doi : 10.1090/s0273-0979-1984-15214-5 .
  6. ^ Baldwin, Stewart (diciembre de 1987). "Revisión: Manual de topología de teoría de conjuntos editado por Kenneth Kunen y Jerry E. Vaughan". Revista de Lógica Simbólica . 52 (4): 1044-1045. doi :10.2307/2273837. JSTOR  2273837.

enlaces externos