Utilize este identificador para referenciar este registo: http://hdl.handle.net/10437/11911
Título: Lipschitz and Wadge binary games in second order arithmetic
Autores: Cordón-Franco, Andrés
Lara-Martín, F. Félix
Loureiro, Manuel José Simões
Palavras-chave: MATEMÁTICA
LÓGICA MATEMÁTICA
MATHEMATICS
MATHEMATICAL LOGIC
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.
Descrição: Preprint of paper submitted April 21, 2021
URI: http://hdl.handle.net/10437/11911
Aparece nas colecções:FE - Artigos de Revistas Internacionais com Arbitragem Científica

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
Preprint_lw-det.pdfSubmitted abril 21, 2021419.26 kBAdobe PDFVer/Abrir


Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.