Fernando Ferreira

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 6

Top Topics

Interval Arithmetic

Scene Interpretation

Arithmetic Operations

Top Venues

Ann. Pure Appl. Log.

Bull. Symb. Log.

Arch. Math. Log.

Publications

Fernando Ferreira
On False Heine/Borel Compactness Principles in Proof Mining. CiE (2021)
Fernando Ferreira
The abstract type of the real numbers. Arch. Math. Log. 60 (7) (2021)
Fernando Ferreira
Bounds for Indexes of Nilpotency in Commutative Ring Theory: a Proof Mining Approach. Bull. Symb. Log. 26 (3-4) (2020)
Fernando Ferreira
The FAN principle and weak König's lemma in herbrandized second-order arithmetic. Ann. Pure Appl. Log. 171 (9) (2020)
Bruno Dinis, Fernando Ferreira
Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic. Math. Log. Q. 63 (1-2) (2017)
Fernando Ferreira, Gilda Ferreira
A herbrandized functional interpretation of classical first-order logic. Arch. Math. Log. 56 (5-6) (2017)
Fernando Ferreira, Jaime Gaspar
Nonstandardness and the bounded functional interpretation. Ann. Pure Appl. Log. 166 (6) (2015)
Fernando Ferreira, Gilda Ferreira
The Faithfulness of Fat: A Proof-Theoretic Proof. Stud Logica 103 (6) (2015)
Luís Cruz-Filipe, Fernando Ferreira
The Finitistic Consistency of Heck's Predicative Fregean System. Notre Dame J. Formal Log. 56 (1) (2015)
Alessandra Carbone, Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo
Computability in Europe 2010. J. Log. Comput. 25 (4) (2015)
Fernando Ferreira
. J. Symb. Log. 79 (1) (2014)
Fernando Ferreira, Gilda Ferreira
Atomic polymorphism. J. Symb. Log. 78 (1) (2013)
Fernando Ferreira, Gilda Ferreira
Interpretability in Robinson's Q. Bull. Symb. Log. 19 (3) (2013)
Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo
Programs, Proofs, Processes. Theory Comput. Syst. 51 (3) (2012)
Fernando Ferreira
A Short Note on Spector's Proof of Consistency of Analysis. CiE (2012)
Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo
Computability in Europe 2010. Ann. Pure Appl. Log. 163 (6) (2012)
Patrícia Engrácia, Fernando Ferreira
The bounded functional interpretation of the double negation shift. J. Symb. Log. 75 (2) (2010)
Fernando Ferreira, Gilda Ferreira
Commuting Conversions vs. the Standard Conversions of the "Good" Connectives. Stud Logica 92 (1) (2009)
Fernando Ferreira
Injecting uniformities into Peano arithmetic. Ann. Pure Appl. Log. 157 (2-3) (2009)
Fernando Ferreira, Gilda Ferreira
The Riemann Integral in Weak Systems of Analysis. J. Univers. Comput. Sci. 14 (6) (2008)
Fernando Ferreira, Gilda Ferreira
Harrington's conservation theorem redone. Arch. Math. Log. 47 (2) (2008)
Fernando Ferreira, Paulo Oliva
Bounded functional interpretation and feasible analysis. Ann. Pure Appl. Log. 145 (2) (2007)
Fernando Ferreira
Comments on Predicative Logic. J. Philos. Log. 35 (1) (2006)
Fernando Ferreira, Gilda Ferreira
Counting as integration in feasible analysis. Math. Log. Q. 52 (3) (2006)
Fernando Ferreira, Ana Nunes
Bounded modified realizability. J. Symb. Log. 71 (1) (2006)
Fernando Ferreira, Paulo Oliva
Bounded functional interpretation. Ann. Pure Appl. Log. 135 (1-3) (2005)
Fernando Ferreira
. Synth. 147 (1) (2005)
Fernando Ferreira
A Simple Proof of Parsons' Theorem. Notre Dame J. Formal Log. 46 (1) (2005)
Fernando Ferreira, Kai Frederick Wehmeier
. J. Philos. Log. 31 (4) (2002)
António M. Fernandes, Fernando Ferreira
Groundwork for Weak Analysis. J. Symb. Log. 67 (2) (2002)
Fernando Ferreira
Two General Results on Intuitionistic Bounded Theories. Math. Log. Q. 45 (1999)
Fernando Ferreira
A Note on Finiteness in the Predicative Foundations of Arithmetic. J. Philos. Log. 28 (2) (1999)
Fernando Ferreira, António Marques
Extracting Algorithms from Intuitionistic Proofs. Math. Log. Q. 44 (1998)
Fernando Ferreira
On End-Extensions of Models of ¬exp. Math. Log. Q. 42 (1996)
Fernando Ferreira
? Ann. Pure Appl. Log. 75 (1-2) (1995)
Fernando Ferreira
A Feasible Theory for Analysis. J. Symb. Log. 59 (3) (1994)
Fernando Ferreira
Binary models generated by their tally part. Arch. Math. Log. 33 (4) (1994)