×

La détermination projective [d’après Martin, Steel et Woodin]. (Projective determinacy [after Martin, Steel and Woodin]). (French) Zbl 0693.03033

Sémin. Bourbaki, Vol. 1988/89, 41ème année, Exp. No. 710, Astérisque 177-178, 261-276 (1989).
Summary: Cet exposé présente les résultats récents obtenus principalement par Martin, Steel et Woodin sur la propriété de détermination des ensembles de la hiérarchie projective de Lusin: ces résultats inattendus ont apporté une vision nouvelle pour une (hypothétique) classification des modèles de la théorie des ensembles. On commencera ici par décrire le cadre où s’insèrent ces travaux, cadre très général puisque valable pour toute la théorie des ensembles des dernières décennies, mais en même temps assez méconnu en France. L’énoncé du théorème de Martin-Steel suivra, et on indiquera quelques idées de sa démonstration, avant de conclure sur les travaux de Woodin et les perspectives ouvertes par ceux-ci.
For the entire collection see [Zbl 0691.00001].

MSC:

03E60 Determinacy principles
03E15 Descriptive set theory
Full Text: Numdam EuDML