BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for fjferreira
(28)
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