John R. Steel
Pour les articles homonymes, voir Steel.
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeurs de thèse | |
| Distinctions |
John Robert Steel (né le ) est un mathématicien américain, spécialisé en théorie des ensembles à l'université de Californie à Berkeley (anciennement à l'UCLA).
Travaux
[modifier | modifier le code]Il a apporté de nombreuses contributions à la théorie des modèles internes et du déterminisme. Avec Donald Martin, il a prouvé le déterminisme projectif (en), en supposant l'existence de cardinaux suffisamment grands. Il a obtenu son Ph. D. en Logique et Méthodologie des Sciences, à Berkeley, en 1977, sous la supervision conjointe de John West Addison, Jr et Stephen G. Simpson (en)[1], avec une thèse intitulée Determinateness and Subsystems of Analysis.
Prix et distinctions
[modifier | modifier le code]Il reçoit en 1988 le prix Carol Karp décerné par l'Association for Symbolic Logic, conjointement avec W. Hugh Woodin et Donald Martin[2].
En 1990 il est conférencier invité au Congrès international des mathématiciens à Kyoto, avec une conférence intitulée Iteration trees[3].
Il est Gödel Lecturer en 2012 avec une conférence intitulée The hereditarily ordinal definable sets in models of determinacy[4].
En 2015, la Société européenne de théorie des ensembles lui a décerné conjointement avec Ronald Jensen, la médaille Hausdorff pour leur article « K without the measurable »[5].
Publications
[modifier | modifier le code]- Donald A. Martin et John R. Steel, « A Proof of Projective Determinacy », Journal of the American Mathematical Society, vol. 2, no 1, , p. 71–125 (DOI 10.2307/1990913, lire en ligne [archive du ])
- Ronald Jensen et John R. Steel : K without the measurable (The Journal of Symbolic Logic, Volume 78, Issue 3 (2013), pp.708-734)[5].
- The Core Model Iterability Problem, Springer 1996
Références
[modifier | modifier le code]- (en) « John R. Steel », sur le site du Mathematics Genealogy Project
- (en) « Karp Prize Recipients », sur aslonline.org
- (en) « ICM Plenary and Invited Speakers since 1897 », sur mathunion.org
- (en) « Gödel Lecturers », sur aslonline.org
- Les congrès et les lauréats
Liens externes
[modifier | modifier le code]
- Ressources relatives à la recherche :
- La page d'accueil à Berkeley
- Naissance en octobre 1948
- Mathématicien américain du XXe siècle
- Mathématicien américain du XXIe siècle
- Logicien américain
- Personnalité en théorie des ensembles
- Étudiant de l'université de Californie à Berkeley
- Professeur à l'université de Californie à Berkeley
- Professeur à l'université de Californie à Los Angeles
- Gödel Lecturer
- Lauréat de la médaille Hausdorff