Ronald Jensen - Ronald Jensen
Ronald Jensen | |
|---|---|
 Prof. Ronald Jensen donnant une conférence lors de la première réunion européenne de théorie des ensembles , Będlewo ( Pologne ), juillet 2007
| |
| Née | 1er avril 1936 |
| Nationalité | Américain (bien qu'il réside en Allemagne) |
| mère nourricière | Université de Bonn |
| Connu pour | Théorie des ensembles , logique mathématique |
| Carrière scientifique | |
| Des champs | Mathématicien |
| Établissements | Université Humboldt de Berlin |
| Conseiller de doctorat | Gisbert Hasenjaeger |
| Doctorants |
Adrian Mathias Benedikt Löwe |
Ronald Björn Jensen (né le 1er avril 1936) est un mathématicien américain qui vit en Allemagne, principalement connu pour ses travaux sur la logique mathématique et la théorie des ensembles .
Carrière
Jensen a obtenu un baccalauréat en économie à l' American University en 1959 et un doctorat. en mathématiques à l' Université de Bonn en 1964. Son superviseur était Gisbert Hasenjaeger . Jensen a enseigné à l'Université Rockefeller de 1969 à 1971 et à l' Université de Californie à Berkeley de 1971 à 1973. Le reste de sa carrière universitaire s'est déroulé en Europe à l' Université de Bonn , à l' Université d'Oslo , à l' Université de Fribourg , à l' Université d'Oxford et à la Humboldt-Universität zu Berlin , dont il a pris sa retraite en 2001. Il réside maintenant à Berlin .
En 2015, la European Set Theory Society lui a décerné, ainsi qu'à John R. Steel, la médaille Hausdorff pour leur article "K without the mesurable".
Résultats
Les résultats les plus connus de Jensen incluent :
- Théorie des ensembles axiomatique NFU , une variante de New Foundations (NF) où l'extensionnalité est affaiblie pour permettre plusieurs ensembles sans éléments, et la preuve de la cohérence de NFU par rapport à l'arithmétique de Peano ;
- Théorie des structures fines de l' univers constructible L . Ce travail lui a valu de recevoir en 2003 le prix Leroy P. Steele pour la contribution séminale à la recherche de l' American Mathematical Society pour son article de 1972 intitulé « La structure fine de la hiérarchie constructible » ;
- Définitions et preuves de divers principes combinatoires infinis dans L , y compris le diamant , le carré et le bourbier ;
- le théorème de recouvrement de Jensen pour L ;
- Théorie générale des core models et construction du core model Dodd-Jensen ;
- Cohérence de CH plus l'hypothèse de Suslin .
- Technique de codage de l'univers par un réel .
Publications sélectionnées
Des articles
- Ronald Jensen, 1969, « Sur la cohérence d'une modification légère (?) du NF de Quine », Synthèse 19 : 250-263. Avec discussion par Quine. doi : 10.1007/BF00568059
- La structure fine de la hiérarchie constructible, Annals of Mathematical Logic, vol 4, numéro 3, août 1972, pp. 229-308 doi : 10.1016/0003-4843(72)90001-0
- avec Anthony J. Dodd : The core model, Annals of Mathematical Logic, vol 20, 1981, pp. 43-75. doi : 10.1016/0003-4843(81)90011-5
- avec Anthony J. Dodd : Le lemme de couverture pour K, Annals of Mathematical Logic, vol 22, 1982, pp. 1-30. doi : 10.1016/0003-4843(82)90013-4
- Modèles intérieurs et grands cardinaux. Bulletin of Symbolic Logic vol 1, numéro 4 (1995) : 393-407. doi : 10.2307/421129
- avec John R. Steel : K sans le mesurable , The Journal of Symbolic Logic, vol 78, numéro 3, 2013, pp. 708-734. doi : 10.2178/jsl.7803020
Livres
- Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhängigkeit der Kontinuumshypothese und des Auswahlaxioms. (Notes de cours en mathématiques; vol. 37). Springer, Berlin 1967.
- en tant qu'éditeur avec Alexander Pestel : Théorie des ensembles et théorie des modèles : actes d'un symposium informel tenu à Bonn, du 1er au 3 juin 1979. Berlin ; New York : Springer-Verlag, 1981.
- avec Aaron Beller et Philip Welch : coder l'univers. Cambridge University Press, Cambridge 1982, ISBN 0-521-28040-0 .
Les références
Liens externes
- La page de Jensen à la Humboldt-Universität zu Berlin .
- Brèves biographies des anciens présidents de la Kurt Gödel Society .