Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Confirmed Publications: 75



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

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service