BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for fjferreira
(38)
2023
A Herbrandised interpretation of semi-intuitionistic second-order arithmetic with function variables
(2023)
João Enes
Fernando Ferreira
Book chapters
2022
Axiomatic Thinking I
(2022)
Fernando Ferreira
Reinhard Kahle
Giovanni Sommaruga
Books
2022
Axiomatic Thinking II
(2022)
Fernando Ferreira
Reinhard Kahle
Giovanni Sommaruga
Books
2022
Panel Discussion on the Foundations of Mathematics
(2022)
Fernando Ferreira
Book chapters
2021
Bar recursion with abstract types. A study on the bounded functional interpretation.
(2021)
João Mira da Silva
Fernando Ferreira
João Rasga
Academic documents
2021
On false Heine/Borel compactness principles in proof mining
(2021)
Fernando Ferreira
Conference papers
2021
The abstract type of the real numbers
(2021)
Fernando Ferreira
Journal articles
2021
Princípios de Teoria dos Conjuntos
(2021)
Fernando Ferreira
Books
2020
Weak König’s lemma in herbrandized classical second-order arithmetic
(2020)
Fernando Ferreira
Journal articles
2020
Bounds for indexes of nilpotency in commutative ring theory: a proof mining approach
(2020)
Fernando Ferreira
Journal articles
2020
Bounded functional interpretation with an abstract type
(2020)
Fernando Ferreira
Patrícia Engrácia
Book chapters
2020
The FAN principle and weak König's lemma in herbrandized second-order arithmetic
(2020)
Fernando Ferreira
Journal articles
2019
On the removal of weak compactness arguments in proof mining
(2019)
Fernando Ferreira
Laurentiu Leustean
Pedro Pinto
Journal articles
2019
Hesitações na aritmética de Frege
(2019)
Fernando Ferreira
Book chapters
2019
O problema da decisão e a máquina universal de Turing
(2019)
Fernando Ferreira
Book chapters
2019
Proof mining with the bounded functional interpretation
(2019)
Pinto, Pedro Miguel dos Santos
Ferreira, Fernando Jorge Inocêncio
Academic documents
2018
Zigzag and Fregean arithmetic
(2018)
Fernando Ferreira
Book chapters
2018
A lógica matemática como empreendimento fundamentador
(2018)
Fernando Ferreira
Academic documents
2017
Categoricity and mathematical knowledge
(2017)
Fernando Ferreira
Journal articles
2017
A herbrandized functional interpretation of classical first-order logic
(2017)
Fernando Ferreira
Gilda Ferreira
Journal articles
2017
Interpreting weak König's lemma in theories of nonstandard arithmetic
(2017)
Bruno Dinis
Fernando Ferreira
Journal articles
2017
On some semi-constructive theories related to Kripke–Platek set theory
(2017)
Fernando Ferreira
Book chapters
2017
Analysis in weak systems
(2017)
António Fernandes
Fernando Ferreira
Gilda Ferreira
Book chapters
2016
Elementary Proof of Strong Normalization for Atomic F
(2016)
Fernando Ferreira
Gilda Ferreira
Journal articles
2015
The finitistic consistency of Heck's predicative Fregean system
(2015)
Cruz-Filipe, L.
Fernando Ferreira
Journal articles
2015
Spector’s proof of the consistency of analysis
(2015)
Ferreira, F.
Conference papers
2015
Nonstandardness and the bounded functional interpretation
(2015)
Fernando Ferreira
Jaime Gaspar
Journal articles
2015
The faithfulness of Fat: a proof-theoretic proof
(2015)
Fernando Ferreira
Gilda Ferreira
Journal articles
2014
A new computation of the Sigma-ordinal of KPw
(2014)
Ferreira, Fernando
Journal articles
2014
Unificação das interpretações funcionais : via lógica linear intuicionista
(2014)
Reis, Sílvia da Conceição Alexandre
Ferreira, Fernando
Ferreira, Gilda Maria Saraiva Dias
Academic documents
2013
Um estudo sobre teorias de definições indutivas e admissibilidade
(2013)
Enes, João Filipe Pereira da Silva
Ferreira, Fernando
Academic documents
2013
Teorema da estrutura de Furstenberg : demonstração e redução ao nivél ...
(2013)
Pinto, Pedro Miguel dos Santos
Ferreira, Fernando
Duarte, Pedro Miguel Nunes da Rosa Dias
Academic documents
2009
Proof-theoretical studies on the bounded functional interpretation
(2009)
Engrácia, Patrícia da Conceição Martins
Ferreira, Fernando
Academic documents
2007
Normalização de termos no cálculo dos combinadores
(2007)
Teixeira, Renata Maria Machado
Ferreira, Fernando
Academic documents
2001
Investigações em sistemas de análise exequível
(2001)
Fernandes, António Marques
Ferreira, Fernando Jorge Inocêncio
Academic documents
2001
Classes of computational complexity : implicit characterizations - a study in mantematical logic
(2001)
Rocha, Isabel Maria Oitavem Fonseca da
Ferreira, Fernando
Academic documents
1995
Três assuntos de lógica e complexidade
(1995)
Rocha, Isabel Maria Oitavem Fonseca da
Ferreira, Fernando
Academic documents
1993
O teorema de Morley, no contexto da teoria de classificação
(1993)
Fernandes, António Marques
Ferreira, Fernando
Academic documents