Ronald Björn Jensen (nacido el 1 de abril de 1936) es un matemático estadounidense que vive en Alemania, conocido principalmente por su trabajo en lógica matemática y teoría de conjuntos .
Ronald Jensen | |
---|---|
Nació | 1 de abril de 1936 |
Nacionalidad | Estadounidense (aunque reside en Alemania) |
alma mater | Universidad de Bonn |
Conocido por | Teoría de conjuntos , lógica matemática |
Carrera científica | |
Campos | Matemático |
Instituciones | Universidad Humboldt de Berlín |
Asesor de doctorado | Gisbert Hasenjaeger |
Estudiantes de doctorado | Adrian Mathias Benedikt Löwe |
Carrera profesional
Jensen completó una licenciatura en economía en la American University en 1959 y un Ph.D. en matemáticas en la Universidad de Bonn en 1964. Su supervisor fue Gisbert Hasenjaeger . Jensen enseñó en la Universidad Rockefeller , 1969–71, y en la Universidad de California, Berkeley , 1971–73. El resto de su carrera académica transcurrió en Europa en la Universidad de Bonn , la Universidad de Oslo , la Universidad de Friburgo , la Universidad de Oxford y la Humboldt-Universität zu Berlin , de la que se jubiló en 2001. Ahora reside en Berlín .
En 2015, la European Set Theory Society le otorgó a él y a John R. Steel la medalla Hausdorff por su trabajo "K sin lo medible".
Resultados
Los resultados más conocidos de Jensen incluyen:
- Teoría de conjuntos axiomáticos NFU , una variante de New Foundations (NF) donde la extensionalidad se debilita para permitir varios conjuntos sin elementos, y la prueba de la consistencia de NFU en relación con la aritmética de Peano ;
- Teoría de la estructura fina del universo construible L . Este trabajo lo llevó a ser galardonado en 2003 con el Premio Leroy P. Steele por su contribución fundamental a la investigación de la American Mathematical Society por su artículo de 1972 titulado "La estructura fina de la jerarquía constructible";
- Definiciones y pruebas de varios principios combinatorios infinitarios en L , incluido el diamante. , plaza y pantano ;
- Teorema de cobertura de Jensen para L ;
- Teoría general de los modelos centrales y construcción del modelo central de Dodd-Jensen ;
- Consistencia de la hipótesis de CH más Suslin .
- Técnica de codificación del universo por un real .
Publicaciones Seleccionadas
Artículos
- Ronald Jensen, 1969, «Sobre la consistencia de una ligera (?) Modificación del NF de Quine», Synthese 19 : 250-263. Con discusión de Quine. doi : 10.1007 / BF00568059
- La fina estructura de la jerarquía constructible, Annals of Mathematical Logic, vol 4, número 3, agosto de 1972, págs. 229–308 doi : 10.1016 / 0003-4843 (72) 90001-0
- con Anthony J. Dodd: El modelo central, Annals of Mathematical Logic, vol 20, 1981, págs. 43–75. doi : 10.1016 / 0003-4843 (81) 90011-5
- con Anthony J. Dodd: El lema de cobertura de K, Annals of Mathematical Logic, vol 22, 1982, págs. 1-30. doi : 10.1016 / 0003-4843 (82) 90013-4
- Modelos interiores y grandes cardenales. Boletín de lógica simbólica vol. 1, número 4 (1995): 393-407. doi : 10.2307 / 421129
- con John R. Steel: K sin lo mensurable , The Journal of Symbolic Logic, vol 78, número 3, 2013, págs. 708–734. doi : 10.2178 / jsl.7803020
Libros
- Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhängigkeit der Kontinuumshypothese und des Auswahlaxioms. (Lecture Notes in Mathematics; vol. 37). Springer, Berlín 1967.
- como editor con Alexander Pestel: Teoría de conjuntos y teoría de modelos: actas de un simposio informal celebrado en Bonn, del 1 al 3 de junio de 1979. Berlín; Nueva York: Springer-Verlag, 1981.
- con Aaron Beller y Philip Welch: Coding the Universe. Cambridge University Press, Cambridge 1982, ISBN 0-521-28040-0 . [1]
Referencias
- ^ Mitchell, William J. (1983). "Revisión: codificación del universo por A. Beller, RB Jensen y P. Welch" . Toro. Amer. Matemáticas. Soc. (NS) . 8 (2): 350–353. doi : 10.1090 / s0273-0979-1983-15117-0 .
enlaces externos
- La página de Jensen en la Humboldt-Universität zu Berlin .
- Breves biografías de ex presidentes de la Sociedad Kurt Gödel .