Lipschitz and Wadge binary games in second order arithmetic
Miniatura indisponível
Data
2023
Título da revista
ISSN da revista
Título do Volume
Editora
Elsevier B.V.
Resumo
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
Descrição
Palavras-chave
MATEMÁTICA, LÓGICA MATEMÁTICA, TEORIA DOS CONJUNTOS, MATHEMATICS, MATHEMATICAL LOGIC, SET THEORY
Citação
Cordón-Franco, A, Lara-Martín, F F & Loureiro, M J S 2023, 'Lipschitz and Wadge binary games in second order arithmetic', Annals of Pure and Applied Logic, vol. 174, no. 9, 103301. https://doi.org/10.1016/j.apal.2023.103301