Browsing Matemática e Estatística | Capítulos/artigos em livros internacionais / Book chapters/papers in international books by Subject "Baire category theorem"
Publication . Fernandes, António M.; Ferreira, Fernando; Ferreira, Gilda
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.
