???global.info.a_carregar???
Identification

Personal identification

Full name
Fernando Jorge Inocêncio Ferreira

Citation names

  • Ferreira, Fernando

Author identifiers

Ciência ID
851A-01E2-5608
ORCID iD
0000-0002-8693-7210

Email addresses

  • fjferreira@fc.ul.pt (Professional)

Websites

Knowledge fields

  • Exact Sciences - Mathematics - Pure Mathematics
Education
Degree Classification
2005
Concluded
 Matemática (Título de Agregado)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Novas Interpretações em Teoria da Demonstração" (THESIS/DISSERTATION)
 Unanimidade
1988
Concluded
 Doctor of Philosophy (Doctor of Philosophy)
Penn State, United States
"Polynomial time computable arithmetic and conservative extensions" (THESIS/DISSERTATION)
 Does not apply
1981
Concluded
 Licenciatura em Matemática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Quantificadores Topológicos e Aplicações" (THESIS/DISSERTATION)
 19
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2012/03/15 - Current Full Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal
2001 - 2012 Associate Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal
2009/09/01 - 2009/12/31 Visiting Professor (University Teacher) Stanford University, United States
Stanford University, United States
1989 - 2001 Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal

Positions / Appointments

Category
Host institution 		Employer
2020/11/16 - 2023/11/15 Head of the Math Department Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal
Projects

Grant

Designation Funders
2012/01 - 2014/12 Online Companion to Problems of Analytical Philosophy
121209
Provided by PTCRIS: 121209
 Fundação para a Ciência e a Tecnologia, I.P.
2011/03 - 2014/08 Hilbert´s Legacy in the Philosophy of Mathematics
109991
Provided by PTCRIS: 109991
 Fundação para a Ciência e a Tecnologia, I.P.
2010/03 - 2013/07 Functional interpretations of arithmetic and analysis
Provided by PTCRIS: 104716
104716
Principal investigator
Fundação para a Ciência e a Tecnologia, I.P.
Concluded
2005/09 - 2008/03 Content
Provided by PTCRIS: 55562
55562
82514
Provided by PTCRIS: 82514
POCI/FIL/55562/2004
Universidade de Lisboa Centro de Filosofia, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2005/03 - 2007/12 Formal systems of arithmetic and computability
61720
Provided by PTCRIS: 61720
Principal investigator
Fundação para a Ciência e a Tecnologia, I.P.
Concluded
2002/04/01 - 2004/12/31 Sistemas fracos de aritmética. de segunda-ordem
POCTI/MAT/41019/2001
Principal investigator
Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book
  1. Ferreira, Fernando. Princípios de Teoria dos Conjuntos. London, United Kingdom: College Publications. 2021.
    Published
  2. Ferreira, Fernando; André, Carlos. Matemática Finita. Lisbon, Portugal: Universidade Aberta. 2000.
    Published
Book chapter
  1. Jõao Enes; Ferreira, Fernando. "A Herbrandised interpretation of semi-intuitionistic second-order arithmetic with function variables". In Mathematics for Computation (M4C), 251-271. Singapore, Singapore: World Scientific, 2023.
    Published • 10.1142/9789811245220_0010
  2. Ferreira, Fernando. "Panel Discussion on the Foundations of Mathematics". In Axiomatic Thinking I, edited by Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni, 193-205. Cham, Switzerland: Springer International Publishing, 2022.
    Published • 10.1007/978-3-030-77657-2_11 • Editor
  3. Ferreira, Fernando; Engrácia, P.. "Bounded functional interpretation with an abstract type". In Contemporary Logic and Computing, 87-112. United Kingdom: College Publications, 2020.
    Published
  4. Ferreira, Fernando. "O problema da decisão e a máquina universal de Turing". In Alan Turing. Cientista Universal, edited by Espírito Santo, José, 55-84. Braga, Portugal: UMinho Editora, 2019.
    Published
  5. Ferreira, Fernando. "Hesitações na aritmética de Frege". In Seminário de Lógica no Avião (2013-2018), edited by Edgar Almeida; Alexandre Costa-Leite; Rodrigo Freire. Brasília, Brazil: UnB, 2019.
    Published
  6. Ferreira, Fernando. "Zigzag and Fregean Arithmetic". In The Philosophers and Mathematics. Festschrift for Roshdi Rashed, edited by Tahiri, Hassan, 81-100. Switzerland: Springer, 2018.
    Published • 10.1007/978-3-319-93733-5_4
  7. Ferreira, Fernando. "A lógica matemática como empreendimento fundamentador". In Memórias da Academia das Ciências de Lisboa, 7-20. Lisboa, Portugal, 2018.
    Published
  8. Ferreira, Fernando. "On some semi-constructive theories related to Kripke-Platek set theory". In Feferman on Foundations, edited by Sieg, Wilfried; Jäger, Gerhard, 347-384. Cham, Switzerland: Springer Nature, 2017.
    Published • 10.1007/978-3-319-63334-3_13
  9. Ferreira, Fernando; Ferreira, Gilda; Fernandes, António. "Analysis in weak systems". In Logic and Computation. Essays in Honour of Amílcar Sernadas, edited by Dionisio, Francisco; Gouveia, Paula; Mateus, Paulo; Rasga, João. London, United Kingdom: College Publications, 2017.
    Published
  10. Ferreira, Fernando. "Spector's proof of the consistency of analysis". In Gentzen's Centenary. The Quest for Consistency, edited by Kahle, Reinhard; Rathjen, Michael. Switzerland: Springer International Publishing, 2015.
    Published • 10.1007/978-3-319-10103-3_11
  11. Ferreira, Fernando; Ferreira, Gilda. "The faithfulness of atomic polymorphism". In Gentzen's and Jaskowski's Heritage. 80 Years of Natural Deduction and Sequent Calculi, edited by A. Indrzejczak, J. Kaczmarek, M. Zawidzki, 55-64. Lodz, Poland, 2014.
    Published
  12. Ferreira, Fernando. "Logicismo". In Compêndio em Linha de Problemas de Filosofia Analítica, edited by Santos, Ricardo; Yates, David. Portugal: Centro de Filosofia da Universidade de Lisboa, 2013.
    Published • 10.51427/cfi.2021.0051
  13. Fernandes, António Marques; Ferreira, Fernando; Ferreira, Gilda. "Techniques in weak analysis for conservation results". In New Studies in Weak Arithmetics, edited by Patrick Cégielski; Costas Dimitracopoulos; Charalampos Cornaros, 115-147. United States: CSLI Publications, 2013.
    Published
  14. Ferreira, Fernando. "Proof interpretations and majorizability". In Logic Colloquium 2007, 32-81. Cambridge, United Kingdom: Cambridge University Press, 2010.
    Published • 10.1017/CBO9780511778421.005
  15. Ferreira, Fernando. "Basic applications of weak König's lemma in feasible analysis". In Reverse Mathematics 2001, edited by Simpson, Stephen. Cambridge, United Kingdom, 2005.
    Published • 10.1017/9781316755846.010
  16. Ferreira, Fernando. "O problema P versus NP". In 2000 Matemética Radical, edited by Ramos, Miguel; Silva, Jorge Nuno, 1-15. Lisboa, Portugal, 2002.
    Published
  17. Ferreira, Fernando. "A two-worlds, two-semantics interpretation of Plato's epistemology". In Greek Philosophy and Epistemology, edited by Konstantine Boudouris. Greece: Ionia Publications, 2001.
  18. Ferreira, Fernando. "No paraíso sem convicção... Uma explicação do programa de Hilbert". In Matemática e Cultura II, edited by Coelho, J. Furtado. Lisboa, Portugal: Centro Nacional de Futura e SPB Editores, 1995.
    Published
  19. Ferreira, Fernando. "Lógica, filosofia e matemática". In A Cultura da Subtileza. Aspectos de Filosofia Analítica, edited by Lourenço, Manuel, 108-126. Lisboa, Portugal: Gradiva, 1995.
    Published
  20. Ferreira, Fernando. "Como ser sério com palavras cruzadas". In Matemática e Cultura I, edited by Coelho, J. Furtado. Lisboa, Portugal: Centro Nacional de Cultura e Publicações Cosmos, 1992.
    Published
  21. Ferreira, Fernando. "Stockmeyer induction". In Feasible Mathematics, edited by Buss, Samuel; Scott, P. J., 161-180. Boston, United States: Birkhäuser Boston, 1990.
    Published • 10.1007/978-1-4612-3466-1_9
  22. Ferreira, Fernando. "Polynomial time computable arithmetic". In Logic and Computation, edited by Sieg, Wilfried. United States: American Mathematical Society, 1990.
    Published • 10.1090/conm/106/1057819
Conference paper
  1. Ferreira, Fernando. "On false Heine/Borel compactness principles in proof mining". Paper presented in Computability in Europe 2021. Connecting with Computability, Gent, 2021.
    Published • 10.1007/978-3-030-80049-9_18
  2. Ferreira, Fernando. "A short note on Spector's proof of consistency of analysis". Paper presented in Computability in Europe 2012. How the World Computes, Cambridge, 2012.
    Published • 10.1007/978-3-642-30870-3_22
  3. Ferreira, Fernando. "To catch one's own shadow". Paper presented in Segundo Encontro Nacional de Filosofia Analítica (ENFA 2), Oporto, 2004.
    Published
Edited book
  1. Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni. Axiomatic Thinking I. Cham, Switzerland: Springer International Publishing. 2022.
    Published • 10.1007/978-3-030-77657-2 • Editor
  2. Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni. Axiomatic Thinking II. Cham, Switzerland: Springer International Publishing. 2022.
    Published • 10.1007/978-3-030-77799-9 • Editor
  3. Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira; Gomes, Luís Mendes. Programs, Proofs, Processes. Germany: Springer Berlin Heidelberg. 2010.
    Published • 10.1007/978-3-642-13962-8 • Editor
Journal article
  1. Ferreira, Fernando. "The abstract type of the real numbers". Archive for Mathematical Logic 60 7-8 (2021): 1005-1017. http://dx.doi.org/10.1007/s00153-021-00772-9.
    10.1007/s00153-021-00772-9
  2. Ferreira, Fernando. "Bounds for indexes of nilpotency: a proof mining approach". The Bulletin of Symbolic Logic (2021): https://doi.org/10.1017/bsl.2020.48.
    10.1017/bsl.2020.48
  3. Ferreira, Fernando. "The FAN principle and weak König's lemma in herbrandized second-order arithmetic". Annals of Pure and Applied Logic (2020): http://dx.doi.org/10.1016/j.apal.2020.102843.
    10.1016/j.apal.2020.102843
  4. Ferreira, Fernando. "Weak König's lemma in herbrandized classical second-order arithmetic". Portugaliae Mathematica (2020): https//doi.org/10.4171/PM/2056.
    10.4171/PM/2056
  5. Ferreira, F.; Leustean, L.; Pinto, P.. "On the removal of weak compactness arguments in proof mining". Advances in Mathematics 354 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85069721227&partnerID=MN8TOARS.
    10.1016/j.aim.2019.106728
  6. Fernando Ferreira. "Categoricity and mathematical knowledge". Revista Portuguesa de Filosofia (2017): https://doi.org/10.17990/RPF/2017_73_3_1423.
    10.17990/RPF/2017_73_3_1423
  7. Ferreira, F.; Ferreira, G.. "A herbrandized functional interpretation of classical first-order logic". Archive for Mathematical Logic (2017): 1-17. http://www.scopus.com/inward/record.url?eid=2-s2.0-85019634738&partnerID=MN8TOARS.
    10.1007/s00153-017-0555-6
  8. Dinis, B.; Ferreira, F.. "Interpreting weak Konig's lemma in theories of nonstandard arithmetic". Mathematical Logic Quarterly 63 1-2 (2017): 114-123. http://www.scopus.com/inward/record.url?eid=2-s2.0-85008244072&partnerID=MN8TOARS.
    10.1002/malq.201600066
  9. Ferreira, F.; Ferreira, G.. "An elementary proof of strong normalization for atomic F". Bulletin of the Section of Logic 45 1 (2016): 1-15. http://www.scopus.com/inward/record.url?eid=2-s2.0-85012030573&partnerID=MN8TOARS.
    10.18778/0138-0680.45.1.01
  10. Cruz-Filipe, Luis; Ferreira, Fernando. "The finitistic consistency of Heck's predicative Fregean system". Notre Dame Journal of Formal Logic 56 1 (2015): 61-79. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000361516700003&KeyUID=WOS:000361516700003.
    10.1215/00294527-2835110
  11. Ferreira, Fernando; Ferreira, Gilda. "The faithfulness of Fat: a proof-theoretic proof". Studia Logica 103 6 (2015): 1303-1311. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000365220500009&KeyUID=WOS:000365220500009.
    10.1007/s11225-015-9620-5
  12. Ferreira, F.; Gaspar, J.. "Nonstandardness and the bounded functional interpretation". Annals of Pure and Applied Logic 166 6 (2015): 701-712. http://www.scopus.com/inward/record.url?eid=2-s2.0-84933182489&partnerID=MN8TOARS.
    10.1016/j.apal.2015.02.001
  13. Ferreira, F.. "A new computation of the Sigma-ordinal of KPw". Journal of Symbolic Logic 79 1 (2014): 306-324. http://www.scopus.com/inward/record.url?eid=2-s2.0-84925235217&partnerID=MN8TOARS.
    10.1017/jsl.2013.31
  14. Ferreira, F.; Ferreira, G.. "Atomic polymorphism". Journal of Symbolic Logic 78 1 (2013): 260-274. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881449019&partnerID=MN8TOARS.
    10.2178/jsl.7801180
  15. Ferreira, Fernando; Ferreira, Gilda. "Interpretability in Robinson's Q". Bulletin of Symbolic Logic 19 3 (2013): 289-317. http://www.scopus.com/inward/record.url?eid=2-s2.0-85037877608&partnerID=MN8TOARS.
    10.2178/bsl.1903010
  16. Ferreira, Fernando. "On the notion of object. A logical genealogy". Disputatio 4 34 (2012): 609-624. http://dx.doi.org/10.2478/disp-2012-0023.
    10.2478/disp-2012-0023
  17. Engrácia, P.; Ferreira, F.. "The bounded functional interpretation of the double negation shift". Journal of Symbolic Logic 75 2 (2010): 759-773. http://www.scopus.com/inward/record.url?eid=2-s2.0-77954333862&partnerID=MN8TOARS.
    10.2178/jsl/1268917503
  18. Ferreira, F.. "Injecting uniformities into Peano arithmetic". Annals of Pure and Applied Logic 157 2-3 (2009): 122-129. http://www.scopus.com/inward/record.url?eid=2-s2.0-59749089559&partnerID=MN8TOARS.
    10.1016/j.apal.2008.09.004
  19. Ferreira, F.; Ferreira, G.. "Commuting conversions vs. the standard conversions of the "good" connectives". Studia Logica 92 1 (2009): 63-84. http://www.scopus.com/inward/record.url?eid=2-s2.0-67349207338&partnerID=MN8TOARS.
    10.1007/s11225-009-9186-1
  20. Ferreira, F.. "A most artistic package of a jumble of ideas". Dialectica 62 2 (2008): 205-222. http://www.scopus.com/inward/record.url?eid=2-s2.0-61449285690&partnerID=MN8TOARS.
    10.1111/j.1746-8361.2008.01134.x
  21. Ferreira, F.; Ferreira, G.. "The Riemann integral in weak systems of analysis". Journal of Universal Computer Science 14 6 (2008): 908-937. http://www.scopus.com/inward/record.url?eid=2-s2.0-44349160726&partnerID=MN8TOARS.
  22. Ferreira, F.; Ferreira, G.. "Harrington's conservation theorem redone". Archive for Mathematical Logic 47 2 (2008): 91-100. http://www.scopus.com/inward/record.url?eid=2-s2.0-45049083143&partnerID=MN8TOARS.
    10.1007/s00153-008-0080-8
  23. Ferreira, F.. "The co-ordination principles: a problem for bilateralism". Mind 117 468 (2008): 1051-1057. http://www.scopus.com/inward/record.url?eid=2-s2.0-84911393220&partnerID=MN8TOARS.
    10.1093/mind/fzn036
  24. Ferreira, F.; Oliva, P.. "Bounded functional interpretation and feasible analysis". Annals of Pure and Applied Logic 145 2 (2007): 115-129. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845241473&partnerID=MN8TOARS.
    10.1016/j.apal.2006.07.002
  25. Ferreira, F.; Ferreira, G.. "Counting as integration in feasible analysis". Mathematical Logic Quarterly 52 3 (2006): 315-320. http://www.scopus.com/inward/record.url?eid=2-s2.0-33745928485&partnerID=MN8TOARS.
    10.1002/malq.200510035
  26. Ferreira, F.. "Comments on predicative logic". Journal of Philosophical Logic 35 1 (2006): 1-8. http://www.scopus.com/inward/record.url?eid=2-s2.0-33746140022&partnerID=MN8TOARS.
    10.1007/s10992-005-9001-z
  27. Ferreira, F.; Nunes, A.. "Bounded modified realizability". Journal of Symbolic Logic 71 1 (2006): 329-346. http://www.scopus.com/inward/record.url?eid=2-s2.0-33645330144&partnerID=MN8TOARS.
    10.2178/jsl/1140641178
  28. Ferreira, F.. "Amending Frege's Grundgesetze der Arithmetik". Synthese 147 1 (2005): 3-19. http://www.scopus.com/inward/record.url?eid=2-s2.0-24144439077&partnerID=MN8TOARS.
    10.1007/s11229-004-6204-8
  29. Ferreira, F.. "A simple proof of Parsons' theorem". Notre Dame Journal of Formal Logic 46 1 (2005): 83-91. http://www.scopus.com/inward/record.url?eid=2-s2.0-45049083734&partnerID=MN8TOARS.
    10.1305/ndjfl/1107220675
  30. Ferreira, F.; Oliva, P.. "Bounded functional interpretation". Annals of Pure and Applied Logic 135 1-3 (2005): 73-112. http://www.scopus.com/inward/record.url?eid=2-s2.0-22344445122&partnerID=MN8TOARS.
    10.1016/j.apal.2004.11.001
  31. Ferreira, Fernando; Wehmeier, Kai F.; Ferreira, F.; Wehmeier, K.. "On the Consistency of the A1 1-CA Fragment of Frege's Grundgesetze". Journal of Philosophical Logic 31 4 (2002): 301-311. http://dx.doi.org/10.1023/a:1019919403797.
    10.1023/a:1019919403797
  32. Fernandes, A.M.; Ferreira, Fernando. "Groundwork for weak analysis". Journal of Symbolic Logic 67 2 (2002): 557-578. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036017420&partnerID=MN8TOARS.
    10.2178/jsl/1190150098
  33. Ferreira, Fernando. "On the Parmenidean Misconception". History of Philosophy and Logical Analysis 2 1 (1999): 37-49. http://dx.doi.org/10.30965/26664275-00201005.
    Published • 10.30965/26664275-00201005
  34. Ferreira, Fernando. "A note on finiteness in the predicative foundations of arithmetic". Journal of Philosophical Logic 28 2 (1999): 165-174. http://dx.doi.org/10.1023/a:1004377219147.
    10.1023/a:1004377219147
  35. Ferreira, Fernando. "Two general results on intuitionistic bounded theories". Mathematical Logic Quarterly 45 3 (1999): 399-407. http://dx.doi.org/10.1002/malq.19990450310.
    10.1002/malq.19990450310
  36. Ferreira, Fernando; Marques, António. "Extracting algorithms from intuitionistic proofs". Mathematical Logic Quarterly 44 2 (1998): 143-160. http://dx.doi.org/10.1002/malq.19980440202.
    10.1002/malq.19980440202
  37. Ferreira, Fernando. "A substitutional framework for arithmetical validity". Grazer Philosophische Studien 56 (1998): 133-149. http://dx.doi.org/10.5840/gps1998/99568.
    Published • 10.5840/gps1998/99568
  38. Ferreira, Fernando. "On end-extensions of models of ¬exp". Mathematical Logic Quarterly 42 1 (1996): 1-18. http://dx.doi.org/10.1002/malq.19960420102.
    10.1002/malq.19960420102
  39. Ferreira, Fernando. "What are the Ab1-consequences of T12 and T22?". Annals of Pure and Applied Logic 75 1-2 (1995): 79-88. http://www.scopus.com/inward/record.url?eid=2-s2.0-8744235328&partnerID=MN8TOARS.
    10.1016/0168-0072(94)00059-C
  40. Ferreira, Fernando. "A feasible theory for analysis". Journal of Symbolic Logic 59 3 (1994): 1001-1011. http://dx.doi.org/10.2307/2275924.
    10.2307/2275924
  41. Ferreira, F.. "Binary models generated by their tally part". Archive for Mathematical Logic 33 4 (1994): 283-289. http://www.scopus.com/inward/record.url?eid=2-s2.0-0001750498&partnerID=MN8TOARS.
    10.1007/BF01270627
Journal issue
  1. Ferreira, Fernando; Carbone, Alessandra; Löwe, Benedikt; Mayordomo, Elvira. "Journal of Logic and Computation special issue: Computability in Europe 2010. Programs, Proofs, Processes". Journal of Logic and Computation 25 4 (2015): https://academic.oup.com/logcom/issue/25/4.
    Published • https://doi.org/10.1093/logcom/exs075 • Coeditor
  2. Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira. "Theory of Computing Systems special issue. Computability in Europe 2010. Programs, Proofs, Processes". Theory of Computing Systems 51 3 (2012): https://link.springer.com/journal/224/volumes-and-issues/51-3.
    Published • 10.1007/s00224-012-9398-z
  3. Ferreira, Fernando; Hyland, Martin; Löwe, Benedikt; Mayordomo, Elvira. "Annals of Pure and Applied Logic special issue. Computability in Europe 2010. Programs, Proofs, Processes". Annals of Pure and Applied Logic 163 6 (2012): https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic/vol/163/issue/6.
    Published • 10.1016/j.apal.2011.10.005
  4. Ferreira, Fernando. "Kurt Gödel (1906-2006)". Boletim da Sociedade Portuguesa de Matemática 55 (2006):
    Published • Invited editor
Magazine article
  1. Ferreira, Fernando. "L.E.J. Brouwer e o intuicionismo", Boletim da Sociedade Portuguesa de Matemática, 2008
  2. Ferreira, Fernando. "A matemática de Kurt Gödel", Boletim da Sociedade Portuguesa de Matemática, 2006
  3. Ferreira, Fernando. "Teoria dos conjuntos: uma vista", Boletim da Sociedade Portuguesa de Matemática, 1998
Report
  1. Ferreira, Fernando. 2011. 6th Conference on Computability in Europe . Programs, Proofs, Processes. https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/6th-conference-on-computability-in-europe-programs-proofs-processes/3BE3B0B5ED9B59279FED9584BA453969.
    10.2178/bsl/1309952324
Thesis / Dissertation
  1. "Polynomial Time Computable Arithmetic and Conservative Extensions". PhD, Penn State, 1988. https://www.proquest.com/openview/426924c3e1acc1a996541bdbd27a946f/1?pq-origsite=gscholar&cbl=18750&diss=y.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2014 - 2019 Proof Mining with the Bounded Functional Interpretation
Supervisor
 Matemática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2004 - 2009 Proof-theoretical Studies on the Bounded Functional Interpretation
Supervisor
 Matemática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2003 - 2007 A Indispensabilidade da Matemática na Ciência Natural
Co-supervisor
 Filosofia (PhD)
Universidade de Lisboa Faculdade de Letras, Portugal
2002 - 2006 Sistemas de Análise Fraca para a Integração
Supervisor
 Matemática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
1996 - 2001 Classes of Computational Complexity: Implicit Characterisations. A Study in Mathematical Logic
Supervisor
 Matemática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
1994 - 2001 Investigações em Sistemas de Análise Exequível
Supervisor
 Matemática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal

Committee member

Activity description
Role 		Institution / Organization
2012 - Current Scientific Committee member of the series of books "Cadernos de Lógica e Computação", published by College Publications.
Member
2003 - 2015 Steering committee member of the conference series "Logic and Computational Complexity"
Member

Consulting

Activity description Institution / Organization
2019 - Current Member of the advisory council of "Lógica no Avião". Universidade de Brasilia Departamento de Filosofia, Brazil

Journal scientific committee

Journal title (ISSN) Publisher
1996/12 - Current Disputatio (0873-626X) Walter de Gruyter GmbH
2017/01/01 - 2021/12/31 The Review of Symbolic Logic (1755-0211) Cambridge University Press
2013 - 2015 Portugaliae Mathematica (0032-5155) European Mathematical Society Publishing House
Distinctions

Award

2008 Silver Medal (finalist). Kurt Gödel Centenary Research Prize Fellowships
John Templeton Foundation, United States

Other distinction

2022 Membro efetivo da Academia das Ciências de Lisboa (Classe de Ciências, Secção de Matemática)
Academia das Ciências de Lisboa, Portugal
2006 Membro correspondente da Academia das Ciências de Lisboa (Classe de Ciências, Secção de Matemática)
Academia das Ciências de Lisboa, Portugal
2004 Fulbright fellowship, Harvard University
Fulbright Portugal, Portugal