BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Book chapters


Title
Analysis in weak systems

Participants in the publication
António Fernandes (Author)
Fernando Ferreira (Author)
Dep. Matemática
 CMAFcIO
 Gilda Ferreira (Author)
LASIGE
 CMAFcIO
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 König’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.

Editor(s)
Carlos Caleiro, Francisco Dionísio, Paulo Gouveia, Paulo Mateus, João Rasga

Date of Publication
2017

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Where published
Essays in Honour of Amílcar Sernadas

Publication Identifiers
ISBN - 9781848902480

Publisher
College Publications, London

Collection
Tributes

Edition
1
Volume
33

Starting page
231
Last page
261


Export

APA
António Fernandes, Fernando Ferreira, Gilda Ferreira, (2017). Analysis in weak systems. Essays in Honour of Amílcar Sernadas, 231-261

IEEE
António Fernandes, Fernando Ferreira, Gilda Ferreira, "Analysis in weak systems" in Essays in Honour of Amílcar Sernadas, 2017, pp. 231-261

BIBTEX
@incollection{39386, author = {António Fernandes and Fernando Ferreira and Gilda Ferreira}, title = {Analysis in weak systems}, booktitle = {Essays in Honour of Amílcar Sernadas}, year = 2017, pages = {231-261}, address = {}, publisher = {College Publications, London} }