Ronald Jensen

Ronald B. Jensen
Ronald Jensen em julho de 2007
Nascimento	1 de abril de 1936 Charlottesville, Estados Unidos
Morte	16 de setembro de 2025 (89 anos)
Residência	Berlim
Nacionalidade	estadunidense
Cidadania	Estados Unidos
Alma mater	Universidade de Bonn
Ocupação	matemático, filósofo, professor universitário
Distinções	Gödel Lecturer (1990), Tarski Lectures (2001), Prêmio Leroy P. Steele (2003)
Empregador(a)	Universidade de Bonn, Universidade de Freiburgo, Universidade Humboldt de Berlim
Orientador(a)(es/s)	Gisbert Hasenjaeger
Instituições	Universidade Humboldt de Berlim
Tese	1964: Unabhängigkeit in Teilsystemen der elementaren Zahlentheorie
[edite no Wikidata]

Ronald Björn Jensen (Charlottesville, 1 de abril de 1936 — 16 de setembro de 2025) foi um matemático americano radicado na Alemanha, conhecido principalmente por seu trabalho em lógica matemática e teoria dos conjuntos.^[1]

Jensen cursou economia e matemática na American University em Washington D.C. e na Universidade de Bonn, onde obteve seu doutorado em 1964. Entre 1969 e 1973, foi professor de matemática na Universidade de Oslo, período durante o qual também lecionou na Rockefeller University, em Nova York (até 1971), e na Universidade da Califórnia em Berkeley (de 1971 a 1973).^[2]

Entre 1974 e 1975, recebeu o prêmio Humboldt na Universidade de Bonn, onde foi professor de matemática de 1976 a 1978. Em seguida, foi bolsista visitante no Wolfson College da Universidade de Oxford (1978-1979), professor na Universidade de Freiburg (1979-1981) e pesquisador sênior no All Souls College de Oxford (1981-1994). De 1994 a 2001, atuou como professor de lógica matemática na Universidade Humboldt de Berlim. Sua principal linha de pesquisa se concentra na teoria dos conjuntos, com ênfase na propriedade de grande cardinal e no universo construível de Gödel.^[2][3]

Em 2003, foi laureado com o prestigiado Prêmio Steele da American Mathematical Society por seu artigo seminal The fine structure of the constructible hierarchy (Annals of Mathematical Logic 4 (1972) pp. 229-308).^[2]

Os resultados mais conhecidos de Jensen incluem:^[1][2][3]

• Teoria axiomática dos conjuntos NFU, uma variante de New Foundations (NF) onde a extensionalidade é enfraquecida para permitir vários conjuntos sem elementos, e a prova da consistência da NFU em relação à aritmética de Peano;
• Teoria da estrutura fina do universo construtível L. Este trabalho o levou a ser premiado em 2003 com o Prêmio Leroy P. Steele de Contribuição Seminal para Pesquisa da American Mathematical Society por seu artigo de 1972 intitulado "A estrutura fina da hierarquia construível";
• Definições e provas de vários princípios combinatórios infinitos em L, incluindo diamante ${\displaystyle \diamondsuit }$, quadrado e pântano;
• Teorema de cobertura de Jensen para L;
• Teoria geral dos modelos centrais e a construção do modelo central de Dodd-Jensen;
• Consistência da hipótese do contínuo mais a hipótese de Suslin;
• Técnica de codificação do universo por um real.

• Ronald Jensen, 1969, « On the Consistency of a Slight(?) Modificação do NF de Quine », Synthese 19: 250–263. Com discussão de Quine. doi:10.1007/BF00568059
• The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol 4, Edição 3, agosto de 1972, pp. 229–308 doi:10.1016/0003-4843(72)90001-0
• com Anthony J. Dodd: The core model, Annals of Mathematical Logic, vol 20, 1981, pp. 43–75. doi:10.1016/0003-4843(81)90011-5
• com Anthony J. Dodd: The covering lemma for K, Annals of Mathematical Logic, vol 22, 1982, pp. 1–30. doi:10.1016/0003-4843(82)90013-4
• Inner models and large cardinals. Bulletin of Symbolic Logic vol 1, Edição 4 (1995): 393-407. doi:10.2307/421129
• com John R. Steel: K without the measurable, The Journal of Symbolic Logic, vol 78, Edição 3, 2013, pp. 708–734. doi:10.2178/jsl.7803020

• Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhängigkeit der Kontinuumshypothese und des Auswahlaxioms. (Notas de aula em matemática; vol. 37). Springer, Berlim 1967.
• como editor com Alexander Pestel: Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1–3, 1979. Berlim; Nova York: Springer-Verlag, 1981.
• com Aaron Beller e Philip Welch: Coding the Universe. Cambridge University Press, Cambridge 1982, ISBN 0-521-28040-0.^[4]

Referências

• Ronald Jensen (em inglês) no Mathematics Genealogy Project
• Jensen's page at the Humboldt-Universität zu Berlin.
• Brief biographies of past presidents of the Kurt Gödel Society.
• «2003 Steele Prizes» (PDF) (em inglês)