Ronald Björn Jensen (Charlottesville, — ) foi um matemático americano radicado na Alemanha, conhecido principalmente por seu trabalho em lógica matemática e teoria dos conjuntos.
Biografia 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).
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.
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).
Resultados Os resultados mais conhecidos de Jensen incluem:
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 , 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.
Publicações selecionadas
Artigos
Ronald Jensen, 1969, « On the Consistency of a Slight(?) Modificação do NF de Quine », Synthese 19: 250–263. Com discussão de Quine. The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol 4, Edição 3, agosto de 1972, pp. 229–308 com Anthony J. Dodd: The core model, Annals of Mathematical Logic, vol 20, 1981, pp. 43–75. com Anthony J. Dodd: The covering lemma for K, Annals of Mathematical Logic, vol 22, 1982, pp. 1–30. Inner models and large cardinals. Bulletin of Symbolic Logic vol 1, Edição 4 (1995): 393-407. com John R. Steel: K without the measurable, The Journal of Symbolic Logic, vol 78, Edição 3, 2013, pp. 708–734.
Livros
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, .
Ligações externas
Jensen's page at the Humboldt-Universität zu Berlin. Brief biographies of past presidents of the Kurt Gödel Society.
Categoria:Especialistas em teoria dos conjuntos Categoria:Matemáticos dos Estados Unidos do século XX Categoria:Matemáticos dos Estados Unidos do século XXI Categoria:Lógicos dos Estados Unidos Categoria:Alunos da Universidade de Bonn