JEDNOSTKA NAUKOWA KATEGORII A+

The strength of Turing determinacy within second order arithmetic

Tom 232 / 2016

Antonio Montalbán, Richard A. Shore Fundamenta Mathematicae 232 (2016), 249-268 MSC: Primary 03B30, 03D80, 03F60, 03F35. DOI: 10.4064/fm27-12-2015 Opublikowany online: 2 December 2015

Streszczenie

We investigate the reverse mathematical strength of Turing determinacy up to $\Sigma _{5}^{0}$, which is itself not provable in second order arithmetic.

Autorzy

  • Antonio MontalbánDepartment of Mathematics
    University of California, Berkeley
    Berkeley, CA 94720, U.S.A.
    e-mail
  • Richard A. ShoreDepartment of Mathematics
    Cornell University
    Ithaca, NY 14853, U.S.A.
    e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek