Lipschitz and Wadge binary games in second order arithmetic

Andrés Cordón-Franco, F. Félix Lara-Martín, Manuel José Simões Loureiro

Research output: Working paperPreprint

Abstract

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.
Original languageEnglish
Publication statusPublished - 2021

Keywords

  • MATHEMATICS
  • MATHEMATICAL LOGIC

Fingerprint

Dive into the research topics of 'Lipschitz and Wadge binary games in second order arithmetic'. Together they form a unique fingerprint.

Cite this