Czasopismo
Tytuł artykułu
Autorzy
Warianty tytułu
Języki publikacji
Abstrakty
We show that Martin's conjecture on Π¹₁ functions uniformly $≤_T$-order preserving on a cone implies Π¹₁ Turing Determinacy over ZF + DC. In addition, it is also proved that for n ≥ 0, this conjecture for uniformly degree invariant $Π¹_{2n+1}$ functions is equivalent over ZFC to $Σ¹_{2n+2}$-Axiom of Determinacy. As a corollary, the consistency of the conjecture for uniformly degree invariant Π¹₁ functions implies the consistency of the existence of a Woodin cardinal.
Słowa kluczowe
Kategorie tematyczne
Czasopismo
Rocznik
Tom
Numer
Strony
21-27
Opis fizyczny
Daty
wydano
2010
Twórcy
autor
- Department of Mathematics, Faculty of Science, National University of Singapore, Lower Kent Ridge Road, Singapore 117543
autor
- Department of Philosophy, Sun Yat-sen University, 135 Xingang Xi Road, Guangzhou 510275, P.R. China
autor
- Institute of Mathematical Sciences, Nanjing University, Nanjing, Jiangsu Province 210093, P.R. China
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm207-1-2