Fernando Ferreira

Available identifiers

zbMath Open ferreira.fernandoMaRDI QIDQ558442

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5004949	2021-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q5222079	2020-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q5224790	2019-07-24	Paper
Spector’s Proof of the Consistency of Analysis	2017-09-27	Paper
A herbrandized functional interpretation of classical first-order logic	2017-09-15	Paper
Elementary Proof of Strong Normalization for Atomic F	2017-01-27	Paper
The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof	2015-12-07	Paper
The finitistic consistency of Heck's predicative Fregean system	2015-05-22	Paper
Nonstandardness and the bounded functional interpretation	2015-05-15	Paper
A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω	2014-09-30	Paper
Interpretability in Robinson's Q	2014-01-17	Paper
Atomic polymorphism	2013-04-23	Paper
A Short Note on Spector’s Proof of Consistency of Analysis	2012-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q3079692	2011-03-02	Paper
The bounded functional interpretation of the double negation shift	2010-06-24	Paper
Commuting conversions vs. the standard conversions of the ``good connectives	2009-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q3621603	2009-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q3621606	2009-04-21	Paper
Injecting uniformities into Peano arithmetic	2009-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q3535940	2008-11-17	Paper
Harrington's conservation theorem redone	2008-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q3518438	2008-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q3437622	2007-05-09	Paper
Bounded functional interpretation and feasible analysis	2007-02-14	Paper
Counting as integration in feasible analysis	2006-08-30	Paper
Comments on predicative logic	2006-08-14	Paper
Amending Frege's \textit{Grundgesetze der Arithmetik}	2006-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q5711883	2005-12-08	Paper
Bounded functional interpretation	2005-08-25	Paper
A simple proof of Parsons' theorem	2005-07-06	Paper
On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze	2003-06-13	Paper
Groundwork for weak analysis	2002-12-04	Paper
Two General Results on Intuitionistic Bounded Theories	1999-09-22	Paper
A note on finiteness in the predicative foundations of arithmetic	1999-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q4230815	1999-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4896525	1997-02-09	Paper
On End‐Extensions of Models of ¬exp	1996-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4867394	1996-03-04	Paper
What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)?	1995-11-02	Paper
A feasible theory for analysis	1995-03-15	Paper
Binary models generated by their tally part	1995-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q4314309	1994-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4035308	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3487327	1990-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fernando Ferreira