A Π¹₁-uniformization principle for reals
Rattachement africain : sg, cn. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
We introduce a Π 1 1 \Pi ^1_1 -uniformization principle and establish its equivalence with the set-theoretic hypothesis ( ω 1 ) L = ω 1 (\omega _1)^L=\omega _1 . This principle is then applied to derive the equivalence, to suitable set-theoretic hypotheses, of the existence of Π 1 1 \Pi ^1_1 -maximal chains and thin maximal antichains in the Turing degrees. We also use the Π 1 1 \Pi ^1_1 -uniformization principle to study Martin’s conjectures on cones of Turing degrees, and show that under V = L V=L the conjectures fail for uniformly degree invariant Π 1 1 \Pi ^1_1 functions.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- A Π¹₁-uniformization principle for reals
- Date Crossref
- 10/02/2009
- Éditeur
- American Mathematical Society (AMS)
- Type
- journal-article
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Les institutions déclarées
Une affiliation ne permet pas de déduire la nationalité d’un auteur.