BIBLIOS

   Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Capítulo em Livro


Título
Analysis in weak systems

Participantes na publicação
António Fernandes (Author)
Fernando Ferreira (Author)
Dep. Matemática
 CMAFcIO
 Gilda Ferreira (Author)
LASIGE
 CMAFcIO
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 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
Carlos Caleiro, Francisco Dionísio, Paulo Gouveia, Paulo Mateus, João Rasga

Data de Publicação
2017

Instituição
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Suporte
Essays in Honour of Amílcar Sernadas

Identificadores da Publicação
ISBN - 9781848902480

Editora
College Publications, London

Coleção
Tributes

Edição
1
Volume
33

Página Inicial
231
Página Final
261


Exportar referência

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