Lipschitz and Wadge binary games in second order arithmetic

Detalhes bibliográficos
Autor(a) principal: Cordón-Franco, Andrés
Data de Publicação: 2021
Outros Autores: Lara-Martín, F. Félix, Loureiro, Manuel José Simões
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10437/11911
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.
id RCAP_f8b50ef4ec2ed6ecf47564b5446fe0c8
oai_identifier_str oai:recil.ensinolusofona.pt:10437/11911
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Lipschitz and Wadge binary games in second order arithmeticMATEMÁTICALÓGICA MATEMÁTICAMATHEMATICSMATHEMATICAL LOGICWe 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.2021-04-26T08:03:29Z2021-01-01T00:00:00Z2021info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10437/11911engCordón-Franco, AndrésLara-Martín, F. FélixLoureiro, Manuel José Simõesinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-03-09T14:03:36Zoai:recil.ensinolusofona.pt:10437/11911Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T17:11:47.274507Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Lipschitz and Wadge binary games in second order arithmetic
title Lipschitz and Wadge binary games in second order arithmetic
spellingShingle Lipschitz and Wadge binary games in second order arithmetic
Cordón-Franco, Andrés
MATEMÁTICA
LÓGICA MATEMÁTICA
MATHEMATICS
MATHEMATICAL LOGIC
title_short Lipschitz and Wadge binary games in second order arithmetic
title_full Lipschitz and Wadge binary games in second order arithmetic
title_fullStr Lipschitz and Wadge binary games in second order arithmetic
title_full_unstemmed Lipschitz and Wadge binary games in second order arithmetic
title_sort Lipschitz and Wadge binary games in second order arithmetic
author Cordón-Franco, Andrés
author_facet Cordón-Franco, Andrés
Lara-Martín, F. Félix
Loureiro, Manuel José Simões
author_role author
author2 Lara-Martín, F. Félix
Loureiro, Manuel José Simões
author2_role author
author
dc.contributor.author.fl_str_mv Cordón-Franco, Andrés
Lara-Martín, F. Félix
Loureiro, Manuel José Simões
dc.subject.por.fl_str_mv MATEMÁTICA
LÓGICA MATEMÁTICA
MATHEMATICS
MATHEMATICAL LOGIC
topic MATEMÁTICA
LÓGICA MATEMÁTICA
MATHEMATICS
MATHEMATICAL LOGIC
description 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.
publishDate 2021
dc.date.none.fl_str_mv 2021-04-26T08:03:29Z
2021-01-01T00:00:00Z
2021
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10437/11911
url http://hdl.handle.net/10437/11911
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799131214837186560

Registros relacionados