Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

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ć.