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. |