Artykuły w formacie PDF dostępne są dla subskrybentów, którzy zapłacili za dostęp online, po podpisaniu licencji Licencja użytkownika instytucjonalnego. Czasopisma do 2009 są ogólnodostępne (bezpłatnie).

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