Analysis in weak systems

Detalhes bibliográficos
Autor(a) principal: Fernandes, António M.
Data de Publicação: 2017
Outros Autores: Ferreira, Fernando, Ferreira, Gilda
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/10400.2/7092
Resumo: The authors survey and comment their work on weak analysis. They describe the basic set-up of analysis in a feasible second-order theory and consider the impact of adding to it various forms of weak Konig's lemma. A brief discussion of the Baire categoricity theorem follows. It is then considered a strengthening of feasibility obtained (fundamentally) by the addition of a counting axiom and showed how it is possible to develop Riemann integration in the stronger system. The paper finishes with three questions in weak analysis.
id RCAP_f81c5246e4d7a1bab9c02b9f42086b68
oai_identifier_str oai:repositorioaberto.uab.pt:10400.2/7092
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str
spelling Analysis in weak systemsMathematical logicWeak analysisBounded arithmeticWeak Konig's lemmaPolytime computabilityIntegrationBaire category theoremThe authors survey and comment their work on weak analysis. They describe the basic set-up of analysis in a feasible second-order theory and consider the impact of adding to it various forms of weak Konig's lemma. A brief discussion of the Baire categoricity theorem follows. It is then considered a strengthening of feasibility obtained (fundamentally) by the addition of a counting axiom and showed how it is possible to develop Riemann integration in the stronger system. The paper finishes with three questions in weak analysis.College PublicationsRepositório AbertoFernandes, António M.Ferreira, FernandoFerreira, Gilda2018-07-31T00:30:20Z20172017-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10400.2/7092engFernandes, António M.; Ferreira, Fernando; Ferreira, Gilda - Analysis in weak systems. In Gouveia, Paula [et al.], ed. - "Logic and computation [Em linha]: essays in honour of Amílcar Sernadas". [S.l.]: College Publication, 2017. ISBN 978-1848902480. 21 p.978-1848902480info: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-07-07T16:06:22ZPortal AgregadorONG
dc.title.none.fl_str_mv Analysis in weak systems
title Analysis in weak systems
spellingShingle Analysis in weak systems
Fernandes, António M.
Mathematical logic
Weak analysis
Bounded arithmetic
Weak Konig's lemma
Polytime computability
Integration
Baire category theorem
title_short Analysis in weak systems
title_full Analysis in weak systems
title_fullStr Analysis in weak systems
title_full_unstemmed Analysis in weak systems
title_sort Analysis in weak systems
author Fernandes, António M.
author_facet Fernandes, António M.
Ferreira, Fernando
Ferreira, Gilda
author_role author
author2 Ferreira, Fernando
Ferreira, Gilda
author2_role author
author
dc.contributor.none.fl_str_mv Repositório Aberto
dc.contributor.author.fl_str_mv Fernandes, António M.
Ferreira, Fernando
Ferreira, Gilda
dc.subject.por.fl_str_mv Mathematical logic
Weak analysis
Bounded arithmetic
Weak Konig's lemma
Polytime computability
Integration
Baire category theorem
topic Mathematical logic
Weak analysis
Bounded arithmetic
Weak Konig's lemma
Polytime computability
Integration
Baire category theorem
description The authors survey and comment their work on weak analysis. They describe the basic set-up of analysis in a feasible second-order theory and consider the impact of adding to it various forms of weak Konig's lemma. A brief discussion of the Baire categoricity theorem follows. It is then considered a strengthening of feasibility obtained (fundamentally) by the addition of a counting axiom and showed how it is possible to develop Riemann integration in the stronger system. The paper finishes with three questions in weak analysis.
publishDate 2017
dc.date.none.fl_str_mv 2017
2017-01-01T00:00:00Z
2018-07-31T00:30:20Z
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/10400.2/7092
url http://hdl.handle.net/10400.2/7092
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Fernandes, António M.; Ferreira, Fernando; Ferreira, Gilda - Analysis in weak systems. In Gouveia, Paula [et al.], ed. - "Logic and computation [Em linha]: essays in honour of Amílcar Sernadas". [S.l.]: College Publication, 2017. ISBN 978-1848902480. 21 p.
978-1848902480
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.publisher.none.fl_str_mv College Publications
publisher.none.fl_str_mv College Publications
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
repository.mail.fl_str_mv
_version_ 1777302851322642432

Registros relacionados