Lipschitz and Wadge binary games in second order arithmetic
dc.contributor.author | Cordón-Franco, Andrés | |
dc.contributor.author | Lara-Martín, F. Félix | |
dc.contributor.author | Loureiro, Manuel José Simões | |
dc.contributor.institution | Escola de Psicologia e Ciências da Vida | |
dc.date.issued | 2023 | |
dc.description | Annals of Pure and Applied Logic | |
dc.description.abstract | We 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 principle | pt |
dc.description.status | Non peer reviewed | |
dc.format | application/pdf | |
dc.identifier.citation | Cordó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.issn | 1646-3730 | |
dc.language.iso | eng | |
dc.publisher | Edições Universitárias Lusófonas | |
dc.relation.ispartof | Default journal | |
dc.rights | openAccess | |
dc.subject | MATEMÁTICA | |
dc.subject | LÓGICA MATEMÁTICA | |
dc.subject | TEORIA DOS CONJUNTOS | |
dc.subject | MATHEMATICS | |
dc.subject | MATHEMATICAL LOGIC | |
dc.subject | SET THEORY | |
dc.title | Lipschitz and Wadge binary games in second order arithmetic | en |
Ficheiros
Principais
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
Licença
1 - 1 de 1
Miniatura indisponível
- Nome:
- license.txt
- Tamanho:
- 1.71 KB
- Formato:
- Item-specific license agreed upon to submission
- Descrição: