Ronald Jensen

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 .

Carrera

Jensen completó una licenciatura en economía en la American University en 1959 y un doctorado 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 la pasó 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. Actualmente reside en Berlín .

Jensen fue distinguido por la Asociación de Lógica Simbólica como el primer conferenciante Gödel en 1990. ^[1] En 2015, la Sociedad Europea de Teoría de Conjuntos le otorgó a él y a John R. Steel la Medalla Hausdorff por su artículo "K sin lo medible".

Los resultados más conocidos de Jensen incluyen:

Teoría de conjuntos axiomáticos NFU , una variante de los Nuevos Fundamentos (NF) donde la extensionalidad se debilita para permitir varios conjuntos sin elementos, y la prueba de la consistencia de la NFU en relación con la aritmética de Peano ;
Teoría de la estructura fina del universo construible L. Este trabajo le valió en 2003 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 construible";
Definiciones y pruebas de varios principios combinatorios infinitarios en L , incluidos diamante , cuadrado y pantano ; $\traje de diamante$
Teorema de cobertura de Jensen para L ;
Teoría general de los modelos centrales y construcción del modelo central Dodd-Jensen;
Consistencia de la hipótesis del continuo más la hipótesis de Suslin .
Técnica de codificación del universo por un real.

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 estructura fina de la jerarquía construible, 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 para K, Annals of Mathematical Logic, vol. 22, 1982, págs. 1–30. doi :10.1016/0003-4843(82)90013-4
Modelos internos y grandes cardinales. 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 medible , The Journal of Symbolic Logic, vol. 78, número 3, 2013, págs. 708-734. doi :10.2178/jsl.7803020

Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhängigkeit der Kontinuumshypothese und des Auswahlaxioms. (Apuntes de conferencias sobre matemáticas; 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: Codificación del universo. Cambridge University Press, Cambridge 1982, ISBN 0-521-28040-0 . ^[2]

^ Kechris, Alexander S. (1991). "Reunión anual de la Asociación de Lógica Simbólica: Berkeley, 1990". The Journal of Symbolic Logic . 56 (1): 361–371. doi :10.2307/2274945. ISSN 0022-4812. JSTOR 2274945. S2CID 98210. Además, este año se inauguró la Conferencia Gödel, una nueva característica de las Reuniones Anuales de la ASL. La primera conferencia Gödel estuvo a cargo de Ronald Jensen, quien habló sobre modelos internos y grandes cardinales.
^ Mitchell, William J. (1983). "Revisión: Codificación del universo por A. Beller, RB Jensen y P. Welch". Bull. Amer. Math. Soc. (NS) . 8 (2): 350–353. doi : 10.1090/s0273-0979-1983-15117-0 .