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. Ahora reside en Berlín .

Jensen fue honrado por la Asociación de Lógica Simbólica como el primer profesor de 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 mensurable".

Los resultados más conocidos de Jensen incluyen:

Teoría de conjuntos axiomática 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 le llevó a recibir en 2003 el Premio Leroy P. Steele por su contribución fundamental a la investigación de la Sociedad Matemática Estadounidense por su artículo de 1972 titulado "La fina estructura de la jerarquía constructible";
Definiciones y pruebas de varios principios combinatorios infinitos en L , incluidos diamante , cuadrado y pantano ; $\diamondsuit$
Teorema de cobertura de Jensen para L ;
Teoría general de modelos centrales y construcción del modelo central de 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 fina estructura 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. doi :10.1016/0003-4843(81)90011-5
con Anthony J. Dodd: El lema que cubre K, Annals of Mathematical Logic, vol 22, 1982, págs. doi :10.1016/0003-4843(82)90013-4
Modelos interiores y cardenales grandes. 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. 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: Codificando el universo. Prensa de la Universidad de Cambridge, 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". La revista de lógica simbólica . 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 ASL. La primera conferencia de Gödel estuvo a cargo de Ronald Jensen, quien habló sobre los modelos internos y los grandes cardenales.
^ Mitchell, William J. (1983). "Reseña: Codificando el universo por A. Beller, RB Jensen y P. Welch". Toro. América. Matemáticas. Soc. (NS) . 8 (2): 350–353. doi : 10.1090/s0273-0979-1983-15117-0 .