PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2010 | 207 | 1 | 21-27
Tytuł artykułu

The strength of the projective Martin conjecture

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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
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
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.