Fernando Ferreira

Generating author description...

All published works

Action	Title	Year	Authors
+	A Herbrandised Interpretation of Semi-Intuitionistic Second-Order Arithmetic with Function Variables	2023	Jõao Enes Fernando Ferreira
+	Axiomatic Thinking II	2022	Fernando Ferreira Reinhard Kähle Giovanni Sommaruga
+	Weak König’s lemma in herbrandized classical second-order arithmetic	2020	Fernando Ferreira
+	On the removal of weak compactness arguments in proof mining	2019	Fernando Ferreira Laurenţiu Leuştean Pedro Pinto
+	On the removal of weak compactness arguments in proof mining	2018	Fernando Ferreira Laurenţiu Leuştean Pedro Pinto
+	Zigzag and Fregean Arithmetic	2018	Fernando Ferreira
+	Categoricity and Mathematical Knowledge	2017	Fernando Ferreira
+ PDF Chat	A herbrandized functional interpretation of classical first-order logic	2017	Fernando Ferreira Gilda Ferreira
+	Basic applications of weak König's lemma in feasible analysis	2017	António M. Fernandes Fernando Ferreira
+	Analysis in weak systems	2017	António M. Fernandes Fernando Ferreira Gilda Ferreira
+	Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic	2016	Bruno Dinis Fernando Ferreira
+ PDF Chat	Elementary Proof of Strong Normalization for Atomic F	2016	Fernando Ferreira Gilda Ferreira
+	Nonstandardness and the bounded functional interpretation	2015	Fernando Ferreira Jaime Gaspar
+	Spector’s Proof of the Consistency of Analysis	2015	Fernando Ferreira
+ PDF Chat	Interpretability in Robinson's Q	2013	Fernando Ferreira Gilda Ferreira
+	Techniques in weak analysis for conservation results	2013	António M. Fernandes Fernando Ferreira Gilda Ferreira
+ PDF Chat	Interpretability in Robinson's Q	2013	Fernando Ferreira Gilda Ferreira
+	An overview of predicativity	2011	Fernando Ferreira
+	Injecting uniformities into Peano arithmetic	2008	Fernando Ferreira
+	A Most Artistic Package of a Jumble of Ideas	2008	Fernando Ferreira
+	The Riemann Integral in Weak Systems of Analysis.	2008	Fernando Ferreira Gilda Ferreira
+ PDF Chat	Bounded functional interpretation and feasible analysis	2006	Fernando Ferreira Paulo Oliva
+	Groundwork for weak analysis	2002	António M. Fernandes Fernando Ferreira
+	Mitsuru Tada and Makoto Tatsuta. The function ⌊a/m⌋ in sharply bounded arithmetic. <b>Archive for mathematical logic</b>, vol. 37 no. 1 (1997), pp. 51–57.	2001	Fernando Ferreira
+	Two General Results on Intuitionistic Bounded Theories	1999	Fernando Ferreira
+	A note on a result of Buss concerning bounded theories and the collection scheme.	1995	Fernando Ferreira
+	Binary models generated by their tally part	1994	Fernando Ferreira

Common Coauthors

Coauthor	Papers Together
Gilda Ferreira	7
António M. Fernandes	4
Pedro Pinto	2
Laurenţiu Leuştean	2
Bruno Dinis	1
Jaime Gaspar	1
Jõao Enes	1
Reinhard Kähle	1
Giovanni Sommaruga	1
Paulo Oliva	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Subsystems of Second Order Arithmetic	1999	Stephen G. Simpson	11
+	Groundwork for weak analysis	2002	António M. Fernandes Fernando Ferreira	8
+	Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals	1985	Marc Bezem	8
+ PDF Chat	ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES	1958	Von Kurt Gödel	8
+	Gödel’s Functional (“Dialectica”) Interpretation	1998	Jeremy Avigad Solomon Feferman	7
+	Polynomial time computable arithmetic and conservative extensions	1988	Stephen G. Simpson Fernando Jorge Inocencio Ferreira	6
+	Applied Proof Theory: Proof Interpretations and Their Use in Mathematics	2008	Ulrich Kohlenbach	6
+	Injecting uniformities into Peano arithmetic	2008	Fernando Ferreira	5
+ PDF Chat	Predicative Logic and Formal Arithmetic	1998	John P. Burgess Allen Hazen	4
+	The Riemann Integral in Weak Systems of Analysis.	2008	Fernando Ferreira Gilda Ferreira	4
+	Metamathematics of First-Order Arithmetic	1993	Petr Hájek Pavel Pudlák	4
+ PDF Chat	Some logical metatheorems with applications in functional analysis	2004	Ulrich Kohlenbach	4
+ PDF Chat	A functional interpretation for nonstandard arithmetic	2012	Benno van den Berg Eyvind Martol Briseid Pavol Safarik	3
+	Higher Recursion Theory	2017	Gerald E. Sacks	3
+ PDF Chat	Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization	1992	Ulrich Kohlenbach	3
+	A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces	2006	Ulrich Kohlenbach	3
+ PDF Chat	A conservation result concerning bounded theories and the collection axiom	1987	Samuel R. Buss	3
+	General logical metatheorems for functional analysis	2007	Philipp Gerhardy Ulrich Kohlenbach	3
+	Analysing Proofs in Analysis	1996	Ulrich Kohlenbach	3
+	Systems of predicative analysis	1964	Solomon Feferman	3
+	Quantitative Strong Convergence for the Hybrid Steepest Descent Method	2016	Daniel Körnlein	2
+	The Approximation of Fixed Points of Compositions of Nonexpansive Mappings in Hilbert Space	1996	Heinz H. Bauschke	2
+	A note on a result of Buss concerning bounded theories and the collection scheme.	1995	Fernando Ferreira	2
+	Mathematical Thought and its Objects	2009	Peter A. Smith	2
+	A Most Artistic Package of a Jumble of Ideas	2008	Fernando Ferreira	2
+	Chapter Eight. Nelson's Work on Logic and Foundations and Other Reflections on the Foundations of Mathematics	2006	Samuel R. Buss	2
+ PDF Chat	Bounded functional interpretation and feasible analysis	2006	Fernando Ferreira Paulo Oliva	2
+	What is Cantor's continuum problem?	1984	Kurt Gödel	2
+	Approximation of fixed points of nonexpansive mappings	1992	Rainer Wittmann	2
+	Old and New Results in the Foundations of Elementary Plane Euclidean and Non-Euclidean Geometries	2010	Marvin J. Greenberg	2
+ PDF Chat	On the computational content of convergence proofs via Banach limits	2012	Ulrich Kohlenbach Laurenţiu Leuştean	2
+	Predicative Arithmetic. (MN-32)	1986	Edward Nelson	2
+	The finitary content of sunny nonexpansive retractions	2018	Ulrich Kohlenbach Andrei Sipoş	2
+	Existence and feasibility in arithmetic	1971	Rohit Parikh	2
+	The Hybrid Steepest Descent Method for the Variational Inequality Problem Over the Intersection of Fixed Point Sets of Nonexpansive Mappings	2001	Isao Yamada	2
+ PDF Chat	Internal set theory: A new approach to nonstandard analysis	1977	Edward Nelson	2
+	Hilbert's program sixty years later	1988	Wilfried Sieg	2
+	Do the integers exist? The unknowability of arithmetic consistency	2005	J. T. Schwartz	2
+	Convergence of approximants to fixed points of nonexpansive nonlinear mappings in banach spaces	1967	Felix E. Browder	2
+	Some More Conservation Results on the Baire Category Theorem	2000	Takeshi Yamazaki	2
+	Models of Peano Arithmetic	1991	Richard Kaye	2
+ PDF Chat	A note on polynomial time computable arithmetic	1990	Wilfried Buchholz Wilfried Sieg	2
+	On the scheme of induction for bounded arithmetic formulas	1987	A. J. Wilkie J. B. Paris	2
+	Strict $${\Pi^1_1}$$ -reflection in bounded arithmetic	2009	António M. Fernandes	2
+ PDF Chat	Arithmetization of metamathematics in a general setting	1960	Solomon Feferman	2
+	A new conservation result of WKL 0 over RCA 0	2002	Ant x F nio Marques Fernandes	2
+ PDF Chat	Fixed points of nonexpanding maps	1967	Benjamin Halpern	2
+ PDF Chat	Model theory: an introduction	2003	David Marker	2
+ PDF Chat	The counting hierarchy in binary notation	2009	Gilda Ferreira	2
+	Some conservation results for fragments of arithmetic	1981	J. B. Paris	2