CB3 - Centro de Biologia, Biotecnologia e Biomedicina

URI permanente desta comunidade:

http://hdl.handle.net/10437/11314

Navegar

Percorrer CB3 - Centro de Biologia, Biotecnologia e Biomedicina por autor "Loureiro, Manuel José Simões"

A mostrar 1 - 1 de 1
  • Item
    Lipschitz and Wadge binary games in second order arithmetic
    (Edições Universitárias Lusófonas, 2023) Cordón-Franco, Andrés; Lara-Martín, F. Félix; Loureiro, Manuel José Simões; Escola de Psicologia e Ciências da Vida
    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