Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Publicações Confirmadas: 75



1
TÍTULO: A herbrandised interpretation of semi-intuitionistic second-order arithmetic with function variables
AUTORES: Enes, J; Ferreira, F ;
PUBLICAÇÃO: 2023, FONTE: Mathematics For Computation (M4c)
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
2
TÍTULO: Axiomatic Thinking I
AUTORES: Ferreira, F ; Reinhard Kahle ; Sommaruga, G;
PUBLICAÇÃO: 2022, FONTE: Axiomatic Thinking I
INDEXADO EM: Scopus CrossRef Openlibrary
NO MEU: ORCID | CIÊNCIAVITAE
3
TÍTULO: Axiomatic Thinking II
AUTORES: Ferreira, F ; Reinhard Kahle ; Sommaruga, G;
PUBLICAÇÃO: 2022, FONTE: Axiomatic Thinking II
INDEXADO EM: Scopus CrossRef: 2 Openlibrary
NO MEU: ORCID | CIÊNCIAVITAE
4
TÍTULO: Panel Discussion on the Foundations of Mathematics
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2022, FONTE: Axiomatic Thinking I
INDEXADO EM: Scopus CrossRef
NO MEU: CIÊNCIAVITAE
5
TÍTULO: On False Heine/Borel Compactness Principles in Proof Mining
AUTORES: Ferreira, Fernando ;
PUBLICAÇÃO: 2021, FONTE: 17th Conference on Computability in Europe (CiE) in CONNECTING WITH COMPUTABILITY, VOLUME: 12813
INDEXADO EM: WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
6
TÍTULO: The abstract type of the real numbers  Full Text
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2021, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 60, NÚMERO: 7-8
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
7
TÍTULO: BOUNDS for INDEXES of NILPOTENCY in COMMUTATIVE RING THEORY: A PROOF MINING APPROACH
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2020, FONTE: Bulletin of Symbolic Logic, VOLUME: 26, NÚMERO: 3-4
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
8
TÍTULO: The FAN principle and weak Konig's lemma in herbrandized second-order arithmetic  Full Text
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2020, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 171, NÚMERO: 9
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
9
TÍTULO: Weak Konig's lemma in herbrandized classical second-order arithmetic
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2020, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 77, NÚMERO: 3-4
INDEXADO EM: WOS CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
10
TÍTULO: On the removal of weak compactness arguments in proof mining  Full Text
AUTORES: Ferreira, F ; Leustean, L; Pinto, P;
PUBLICAÇÃO: 2019, FONTE: ADVANCES IN MATHEMATICS, VOLUME: 354
INDEXADO EM: Scopus WOS CrossRef: 14
NO MEU: ORCID | CIÊNCIAVITAE
Página 1 de 8. Total de resultados: 75.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service