Fernando Ferreira

发表

The Riemann Integral in Weak Systems of Analysis

Fernando Ferreira, Gilda Ferreira, Gilda Ferreira, 2008, J. Univers. Comput. Sci..

Analysis in weak systems

Gilda Ferreira, Fernando Ferreira, António M. Fernandes, 2017 .

Some notes on subword quantification and induction thereof

Fernando Ferreira, 2017 .

On Some Semi-constructive Theories Related to Kripke–Platek Set Theory

Fernando Ferreira, 2017 .

Logic Colloquium 2007: Proof interpretations and majorizability

Fernando Ferreira, 2010 .

BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH

Fernando Ferreira, 2020, The Bulletin of Symbolic Logic.

Spector’s Proof of the Consistency of Analysis

Fernando Ferreira, 2015 .

An Elementary Proof of Strong Normalization for Atomic F

Gilda Ferreira, Fernando Ferreira, 2016 .

On the removal of weak compactness arguments in proof mining

Fernando Ferreira, Laurentiu Leustean, P. Pinto, 2018, Advances in Mathematics.

Zigzag and Fregean Arithmetic

Fernando Ferreira, 2018 .

2. African swine fever virus: cellular and molecular aspects

Fernando Ferreira, L. Dixon, S. Blome, 2021 .

On the Notion of Object. A Logical Genealogy

Fernando Ferreira, 2012 .

REVIEWS-The function (a/m) in sharply bounded arithmetic

Fernando Ferreira, M. Tada, M. Tatsuta, 2001 .

On End-Extensions of Models of ¬exp

Fernando Ferreira, Fernando Ferreira, 1996, Math. Log. Q..

Polynomial time computable arithmetic

Fernando Ferreira, Fernando Ferreira, 1990 .

A two-worlds , two-semantics interpretation of Plato ’ s Sophist

Fernando Ferreira, 2001 .

On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze

Fernando Ferreira, Kai Frederick Wehmeier, Fernando Ferreira, 2002, J. Philos. Log..

Interpretability in Robinson's Q

Fernando Ferreira, Gilda Ferreira, Gilda Ferreira, 2013, The Bulletin of Symbolic Logic.

Groundwork for weak analysis

Fernando Ferreira, António M. Fernandes, Fernando Ferreira, 2002, Journal of Symbolic Logic.

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

Fernando Ferreira, Fernando Ferreira, 2012, CiE.

A Simple Proof of Parsons' Theorem

Fernando Ferreira, Fernando Ferreira, 2005, Notre Dame J. Formal Log..

A feasible theory for analysis

Fernando Ferreira, Fernando Ferreira, 1994, Journal of Symbolic Logic.

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

Fernando Ferreira, Fernando Ferreira, 2020, Ann. Pure Appl. Log..

Extracting Algorithms from Intuitionistic Proofs

Fernando Ferreira, António Marques, Fernando Ferreira, 1998, Math. Log. Q..