PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2016 | 232 | 3 | 249-268
Tytuł artykułu

The strength of Turing determinacy within second order arithmetic

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
We investigate the reverse mathematical strength of Turing determinacy up to Σ₅⁰, which is itself not provable in second order arithmetic.
Słowa kluczowe
Twórcy
  • Department of Mathematics, University of California, Berkeley, Berkeley, CA 94720, U.S.A.
  • Department of Mathematics, Cornell University, Ithaca, NY 14853, U.S.A.
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm27-12-2015
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ć.