Fernando Ferreira

39 papers C 3Journal 36
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Uniform Functional Interpretation with Informative Types.
CoRR
Fernando Ferreira, Paulo Oliva
2021 C conf
On False Heine/Borel Compactness Principles in Proof Mining.
CiE
Fernando Ferreira
2021 J jnl
The abstract type of the real numbers.
Arch. Math. Log.
Fernando Ferreira
2020 J jnl
Bounds for Indexes of Nilpotency in Commutative Ring Theory: a Proof Mining Approach.
Bull. Symb. Log.
Fernando Ferreira
2020 J jnl
The FAN principle and weak König's lemma in herbrandized second-order arithmetic.
Ann. Pure Appl. Log.
Fernando Ferreira
2017 J jnl
A herbrandized functional interpretation of classical first-order logic.
Arch. Math. Log.
Fernando Ferreira, Gilda Ferreira
2017 J jnl
Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic.
Math. Log. Q.
Bruno Dinis, Fernando Ferreira
2015 J jnl
Computability in Europe 2010.
J. Log. Comput.
Alessandra Carbone, Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo
2015 J jnl
Nonstandardness and the bounded functional interpretation.
Ann. Pure Appl. Log.
Fernando Ferreira, Jaime Gaspar
2015 J jnl
The Faithfulness of Fat: A Proof-Theoretic Proof.
Stud Logica
Fernando Ferreira, Gilda Ferreira
2015 J jnl
The Finitistic Consistency of Heck's Predicative Fregean System.
Notre Dame J. Formal Log.
Luís Cruz-Filipe, Fernando Ferreira
2014 J jnl
A New Computation of the σ-Ordinal of KP
J. Symb. Log.
Fernando Ferreira
2013 J jnl
Atomic polymorphism.
J. Symb. Log.
Fernando Ferreira, Gilda Ferreira
2013 J jnl
Interpretability in Robinson's Q.
Bull. Symb. Log.
Fernando Ferreira, Gilda Ferreira
2012 C conf
A Short Note on Spector's Proof of Consistency of Analysis.
CiE
Fernando Ferreira
2012 J jnl
Computability in Europe 2010.
Ann. Pure Appl. Log.
Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo
2012 J jnl
Programs, Proofs, Processes.
Theory Comput. Syst.
Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo
2010 C ed.
Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings
CiE
Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes
2010 J jnl
The bounded functional interpretation of the double negation shift.
J. Symb. Log.
Patrícia Engrácia, Fernando Ferreira
2009 J jnl
Commuting Conversions vs. the Standard Conversions of the "Good" Connectives.
Stud Logica
Fernando Ferreira, Gilda Ferreira
2009 J jnl
Injecting uniformities into Peano arithmetic.
Ann. Pure Appl. Log.
Fernando Ferreira
2008 J jnl
Harrington's conservation theorem redone.
Arch. Math. Log.
Fernando Ferreira, Gilda Ferreira
2008 J jnl
The Riemann Integral in Weak Systems of Analysis.
J. Univers. Comput. Sci.
Fernando Ferreira, Gilda Ferreira
2007 J jnl
Bounded functional interpretation and feasible analysis.
Ann. Pure Appl. Log.
Fernando Ferreira, Paulo Oliva
2006 J jnl
Bounded modified realizability.
J. Symb. Log.
Fernando Ferreira, Ana Nunes
2006 J jnl
Comments on Predicative Logic.
J. Philos. Log.
Fernando Ferreira
2006 J jnl
Counting as integration in feasible analysis.
Math. Log. Q.
Fernando Ferreira, Gilda Ferreira
2005 J jnl
A Simple Proof of Parsons' Theorem.
Notre Dame J. Formal Log.
Fernando Ferreira
2005 J jnl
Amending Frege's
Synth.
Fernando Ferreira
2005 J jnl
Bounded functional interpretation.
Ann. Pure Appl. Log.
Fernando Ferreira, Paulo Oliva
2002 J jnl
Groundwork for Weak Analysis.
J. Symb. Log.
António Marques Fernandes, Fernando Ferreira
2002 J jnl
On the Consistency of the Δ
J. Philos. Log.
Fernando Ferreira, Kai Frederick Wehmeier
1999 J jnl
A Note on Finiteness in the Predicative Foundations of Arithmetic.
J. Philos. Log.
Fernando Ferreira
1999 J jnl
Two General Results on Intuitionistic Bounded Theories.
Math. Log. Q.
Fernando Ferreira
1998 J jnl
Extracting Algorithms from Intuitionistic Proofs.
Math. Log. Q.
Fernando Ferreira, António Marques
1996 J jnl
On End-Extensions of Models of ¬exp.
Math. Log. Q.
Fernando Ferreira
1995 J jnl
What are the forall Sigma
Ann. Pure Appl. Log.
Fernando Ferreira
1994 J jnl
A Feasible Theory for Analysis.
J. Symb. Log.
Fernando Ferreira
1994 J jnl
Binary models generated by their tally part.
Arch. Math. Log.
Fernando Ferreira