Analysis in weak systems

Bibliographic Details
Main Author: Fernandes, António M.
Publication Date: 2017
Other Authors: Ferreira, Fernando, Ferreira, Gilda
Format: Article
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/10400.2/7092
Summary: 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órios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
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/7092eng978-18489024801848902484info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-02-26T09:31:58Zoai:repositorioaberto.uab.pt:10400.2/7092Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T21:01:16.376501Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
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 978-1848902480
1848902484
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órios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833599033607716865

Similar Items