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

URI