Fernando Ferreira

According to our database, Fernando Ferreira authored at least 37 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

The abstract type of the real numbers.

Fernando Ferreira

Arch. Math. Log., 2021

On False Heine/Borel Compactness Principles in Proof Mining.

Fernando Ferreira

Proceedings of the Connecting with Computability, 2021

2020

Bounds for Indexes of Nilpotency in Commutative Ring Theory: a Proof Mining Approach.

Fernando Ferreira

Bull. Symb. Log., 2020

The FAN principle and weak König's lemma in herbrandized second-order arithmetic.

Fernando Ferreira

Ann. Pure Appl. Log., 2020

2017

Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic.

Bruno Dinis, Fernando Ferreira

Math. Log. Q., 2017

A herbrandized functional interpretation of classical first-order logic.

Fernando Ferreira, Gilda Ferreira

Arch. Math. Log., 2017

2015

The Faithfulness of Fat: A Proof-Theoretic Proof.

Fernando Ferreira, Gilda Ferreira

Stud Logica, 2015

The Finitistic Consistency of Heck's Predicative Fregean System.

Luís Cruz-Filipe, Fernando Ferreira

Notre Dame J. Formal Log., 2015

Computability in Europe 2010.

Alessandra Carbone, Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo

J. Log. Comput., 2015

Nonstandardness and the bounded functional interpretation.

Fernando Ferreira, Jaime Gaspar

Ann. Pure Appl. Log., 2015

2014

A New Computation of the σ-Ordinal of KP_ω.

Fernando Ferreira

J. Symb. Log., 2014

2013

Atomic polymorphism.

Fernando Ferreira, Gilda Ferreira

J. Symb. Log., 2013

Interpretability in Robinson's Q.

Fernando Ferreira, Gilda Ferreira

Bull. Symb. Log., 2013

2012

Programs, Proofs, Processes.

Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo

Theory Comput. Syst., 2012

Computability in Europe 2010.

Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo

Ann. Pure Appl. Log., 2012

A Short Note on Spector's Proof of Consistency of Analysis.

Fernando Ferreira

Proceedings of the How the World Computes, 2012

2010

The bounded functional interpretation of the double negation shift.

Patrícia Engrácia, Fernando Ferreira

J. Symb. Log., 2010

2009

Commuting Conversions vs. the Standard Conversions of the "Good" Connectives.

Fernando Ferreira, Gilda Ferreira

Stud Logica, 2009

Injecting uniformities into Peano arithmetic.

Fernando Ferreira

Ann. Pure Appl. Log., 2009

2008

The Riemann Integral in Weak Systems of Analysis.

Fernando Ferreira, Gilda Ferreira

J. Univers. Comput. Sci., 2008

Harrington's conservation theorem redone.

Fernando Ferreira, Gilda Ferreira

Arch. Math. Log., 2008

2007

Bounded functional interpretation and feasible analysis.

Fernando Ferreira, Paulo Oliva

Ann. Pure Appl. Log., 2007

2006

Counting as integration in feasible analysis.

Fernando Ferreira, Gilda Ferreira

Math. Log. Q., 2006

Bounded modified realizability.

Fernando Ferreira, Ana Nunes

J. Symb. Log., 2006

Comments on Predicative Logic.

Fernando Ferreira

J. Philos. Log., 2006

2005

Amending Frege's <i>Grundgesetze der Arithmetik</i>.

Fernando Ferreira

Synth., 2005

A Simple Proof of Parsons' Theorem.

Fernando Ferreira

Notre Dame J. Formal Log., 2005

Bounded functional interpretation.

Fernando Ferreira, Paulo Oliva

Ann. Pure Appl. Log., 2005

2002

Groundwork for Weak Analysis.

António Marques Fernandes, Fernando Ferreira

J. Symb. Log., 2002

On the Consistency of the Δ¹₁-CA Fragment of Frege's <i>Grundgesetze</i>.

Fernando Ferreira, Kai Frederick Wehmeier

J. Philos. Log., 2002

1999

Two General Results on Intuitionistic Bounded Theories.

Fernando Ferreira

Math. Log. Q., 1999

A Note on Finiteness in the Predicative Foundations of Arithmetic.

Fernando Ferreira

J. Philos. Log., 1999

1998

Extracting Algorithms from Intuitionistic Proofs.

Fernando Ferreira, António Marques

Math. Log. Q., 1998

1996

On End-Extensions of Models of ¬exp.

Fernando Ferreira

Math. Log. Q., 1996

1995

What are the forall Sigma^b₁-Consequences of T¹₂ and T²₂?

Fernando Ferreira

Ann. Pure Appl. Log., 1995

1994

A Feasible Theory for Analysis.

Fernando Ferreira

J. Symb. Log., 1994

Binary models generated by their tally part.

Fernando Ferreira

Arch. Math. Log., 1994