Lipschitz and Wadge binary games in second order arithmetic

Ver registo simples
dc.contributor.authorCordón-Franco, Andrés
dc.contributor.authorLara-Martín, F. Félix
dc.contributor.authorLoureiro, Manuel José Simões
dc.contributor.institutionEscola de Psicologia e Ciências da Vida
dc.date.issued2023
dc.descriptionAnnals of Pure and Applied Logic
dc.description.abstractWe present a detailed formalization of Lipschitz and Wadge games in the context of second order arithmetic and we investigate the logical strength of Lipschitz and Wadge determinacy, and the tightly related Semi-Linear Ordering principle, for the first levels of the Hausdorff difference hierarchy in the Cantor space. As a result, we obtain characterizations of WKL0 and ACA0 in terms of these determinacy principles. Keywords: Reverse mathematics, Determinacy, Wadge games, Semilinear Ordering principlept
dc.description.statusNon peer reviewed
dc.formatapplication/pdf
dc.identifier.citationCordón-Franco , A , Lara-Martín , F F & Loureiro , M J S 2023 , ' Lipschitz and Wadge binary games in second order arithmetic ' , Default journal .
dc.identifier.issn1646-3730
dc.language.isoeng
dc.publisherEdições Universitárias Lusófonas
dc.relation.ispartofDefault journal
dc.rightsopenAccess
dc.subjectMATEMÁTICA
dc.subjectLÓGICA MATEMÁTICA
dc.subjectTEORIA DOS CONJUNTOS
dc.subjectMATHEMATICS
dc.subjectMATHEMATICAL LOGIC
dc.subjectSET THEORY
dc.titleLipschitz and Wadge binary games in second order arithmeticen

Ficheiros

Principais
A mostrar 1 - 1 de 1
Miniatura indisponível
Nome:
Lipschitz and Wadge binary games in second order arithmetic.pdf
Tamanho:
804.68 KB
Formato:
Adobe Portable Document Format
Ver/Abrir
Licença
A mostrar 1 - 1 de 1
Miniatura indisponível
Nome:
license.txt
Tamanho:
1.71 KB
Formato:
Item-specific license agreed upon to submission
Descrição:
Ver/Abrir

Coleções

CB3 - Artigos de Revistas Internacionais com Arbitragem Científica