TY - UNPB
T1 - Lipschitz and Wadge binary games in second order arithmetic
AU - Cordón-Franco, Andrés
AU - Lara-Martín, F. Félix
AU - Loureiro, Manuel José Simões
N1 - Preprint of paper submitted April 21, 2021
PY - 2021
Y1 - 2021
N2 - 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.
AB - 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.
KW - MATEMÁTICA
KW - LÓGICA MATEMÁTICA
KW - MATHEMATICS
KW - MATHEMATICAL LOGIC
UR - http://hdl.handle.net/10437/11911
M3 - Preprint
BT - Lipschitz and Wadge binary games in second order arithmetic
ER -