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 | Tamanho | Formato | |
|---|---|---|---|---|
| Preprint_lw-det.pdf | Submitted abril 21, 2021 | 419.26 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.