Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFernando Ferreira 0001
Person information
- affiliation: University of Lisbon, Faculty of Mathematics, Portugal
- affiliation (PhD 1988): Pennsylvania State University, Department of Mathematics, University Park, PA, USA
Other persons with the same name
- Fernando Ferreira — disambiguation page
- Fernando Luis-Ferreira
![[0000-0001-9220-6046]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0001-9220-6046")
(aka: Fernando Ferreira 0002) — NOVA University of Lisbon, Caparica, Portugal - Fernando Ferreira 0003 — Polytechnic of Porto, ISEP/IPP - School of Engineering, Portugal
- Fernando Ferreira 0004 — University of São Paulo, SP, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2021
[j35]Fernando Ferreira:
The abstract type of the real numbers. Arch. Math. Log. 60(7): 1005-1017 (2021)- 2020
- [j34]Fernando Ferreira:
The FAN principle and weak König's lemma in herbrandized second-order arithmetic. Ann. Pure Appl. Log. 171(9): 102843 (2020) - [j33]Fernando Ferreira:
Bounds for Indexes of Nilpotency in Commutative Ring Theory: a Proof Mining Approach. Bull. Symb. Log. 26(3-4): 257-267 (2020) - 2017
- [j32]Fernando Ferreira, Gilda Ferreira:
A herbrandized functional interpretation of classical first-order logic. Arch. Math. Log. 56(5-6): 523-539 (2017) - [j31]Bruno Dinis, Fernando Ferreira:
Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic. Math. Log. Q. 63(1-2): 114-123 (2017) - 2015
- [j30]Fernando Ferreira, Jaime Gaspar:
Nonstandardness and the bounded functional interpretation. Ann. Pure Appl. Log. 166(6): 701-712 (2015) - [j29]Alessandra Carbone, Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo:
Computability in Europe 2010. J. Log. Comput. 25(4): 983-985 (2015) - [j28]Luís Cruz-Filipe, Fernando Ferreira:
The Finitistic Consistency of Heck's Predicative Fregean System. Notre Dame J. Formal Log. 56(1): 61-79 (2015) - [j27]Fernando Ferreira, Gilda Ferreira:
The Faithfulness of Fat: A Proof-Theoretic Proof. Stud Logica 103(6): 1303-1311 (2015) - 2014
- [j26]Fernando Ferreira:
A New Computation of the σ-Ordinal of KPω. J. Symb. Log. 79(1): 306-324 (2014) - 2013
- [j25]Fernando Ferreira, Gilda Ferreira:
Interpretability in Robinson's Q. Bull. Symb. Log. 19(3): 289-317 (2013) - [j24]Fernando Ferreira, Gilda Ferreira:
Atomic polymorphism. J. Symb. Log. 78(1): 260-274 (2013) - 2012
- [j23]Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo:
Computability in Europe 2010. Ann. Pure Appl. Log. 163(6): 621-622 (2012) - [j22]Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo:
Programs, Proofs, Processes. Theory Comput. Syst. 51(3): 267-269 (2012) - 2010
- [j21]Patrícia Engrácia, Fernando Ferreira:
The bounded functional interpretation of the double negation shift. J. Symb. Log. 75(2): 759-773 (2010) - 2009
- [j20]Fernando Ferreira:
Injecting uniformities into Peano arithmetic. Ann. Pure Appl. Log. 157(2-3): 122-129 (2009) - [j19]Fernando Ferreira, Gilda Ferreira:
Commuting Conversions vs. the Standard Conversions of the "Good" Connectives. Stud Logica 92(1): 63-84 (2009) - 2008
- [j18]Fernando Ferreira, Gilda Ferreira:
Harrington's conservation theorem redone. Arch. Math. Log. 47(2): 91-100 (2008) - [j17]Fernando Ferreira, Gilda Ferreira:
The Riemann Integral in Weak Systems of Analysis. J. Univers. Comput. Sci. 14(6): 908-937 (2008) - 2007
- [j16]Fernando Ferreira, Paulo Oliva:
Bounded functional interpretation and feasible analysis. Ann. Pure Appl. Log. 145(2): 115-129 (2007) - 2006
- [j15]Fernando Ferreira:
Comments on Predicative Logic. J. Philos. Log. 35(1): 1-8 (2006) - [j14]Fernando Ferreira, Ana Nunes:
Bounded modified realizability. J. Symb. Log. 71(1): 329-346 (2006) - [j13]Fernando Ferreira, Gilda Ferreira:
Counting as integration in feasible analysis. Math. Log. Q. 52(3): 315-320 (2006) - 2005
- [j12]Fernando Ferreira, Paulo Oliva:
Bounded functional interpretation. Ann. Pure Appl. Log. 135(1-3): 73-112 (2005) - [j11]Fernando Ferreira:
A Simple Proof of Parsons' Theorem. Notre Dame J. Formal Log. 46(1): 83-91 (2005) - [j10]Fernando Ferreira:
Amending Frege's Grundgesetze der Arithmetik. Synth. 147(1): 3-19 (2005) - 2002
- [j9]Fernando Ferreira, Kai Frederick Wehmeier:
On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze. J. Philos. Log. 31(4): 301-311 (2002) - [j8]António Marques Fernandes, Fernando Ferreira:
Groundwork for Weak Analysis. J. Symb. Log. 67(2): 557-578 (2002) - 1999
- [j7]Fernando Ferreira:
A Note on Finiteness in the Predicative Foundations of Arithmetic. J. Philos. Log. 28(2): 165-174 (1999) - [j6]Fernando Ferreira:
Two General Results on Intuitionistic Bounded Theories. Math. Log. Q. 45: 399-407 (1999) - 1998
- [j5]Fernando Ferreira, António Marques:
Extracting Algorithms from Intuitionistic Proofs. Math. Log. Q. 44: 143-160 (1998) - 1996
- [j4]Fernando Ferreira:
On End-Extensions of Models of ¬exp. Math. Log. Q. 42: 1-18 (1996) - 1995
- [j3]Fernando Ferreira:
What are the forall Sigmab1-Consequences of T12 and T22? Ann. Pure Appl. Log. 75(1-2): 79-88 (1995) - 1994
- [j2]Fernando Ferreira:
Binary models generated by their tally part. Arch. Math. Log. 33(4): 283-289 (1994) - [j1]Fernando Ferreira:
A Feasible Theory for Analysis. J. Symb. Log. 59(3): 1001-1011 (1994)
Conference and Workshop Papers
Editorship
- 2010
- [e1]Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes:
Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings. Lecture Notes in Computer Science 6158, Springer 2010, ISBN 978-3-642-13961-1 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
