Fernando Jorge Inocêncio Ferreira
AuthID: R-000-4Z7
11
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
AUTHORS: Ferreira, F;
PUBLISHED: 2020, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 171, ISSUE: 9
12
TITLE: Weak Konig's lemma in herbrandized classical second-order arithmetic
AUTHORS: Ferreira, F;
PUBLISHED: 2020, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 77, ISSUE: 3-4
AUTHORS: Ferreira, F;
PUBLISHED: 2020, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 77, ISSUE: 3-4
13
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
AUTHORS: Ferreira, F;
PUBLISHED: 2020, SOURCE: Bulletin of Symbolic Logic, VOLUME: 26, ISSUE: 3-4
14
TITLE: COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS
AUTHORS: Ferreira, F;
PUBLISHED: 2020, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 26, ISSUE: 3-4
AUTHORS: Ferreira, F;
PUBLISHED: 2020, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 26, ISSUE: 3-4
INDEXED IN: 
WOS
WOS15
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
AUTHORS: Ferreira, F; Leustean, L; Pinto, P;
PUBLISHED: 2019, SOURCE: ADVANCES IN MATHEMATICS, VOLUME: 354
16
TITLE: Finite element schemes for a class of nonlocal parabolic systems with moving boundaries
AUTHORS: Rui M P Almeida; Jose C M Duque; Jorge Ferreira; Rui J Robalo;
PUBLISHED: 2018, SOURCE: APPLIED NUMERICAL MATHEMATICS, VOLUME: 127
AUTHORS: Rui M P Almeida; Jose C M Duque; Jorge Ferreira; Rui J Robalo;
PUBLISHED: 2018, SOURCE: APPLIED NUMERICAL MATHEMATICS, VOLUME: 127
INDEXED IN: 
Scopus WOS
Scopus WOS17
TITLE: Zigzag and Fregean Arithmetic
AUTHORS: Fernando Ferreira;
PUBLISHED: 2018, SOURCE: Logic, Epistemology, and the Unity of Science - The Philosophers and Mathematics
AUTHORS: Fernando Ferreira;
PUBLISHED: 2018, SOURCE: Logic, Epistemology, and the Unity of Science - The Philosophers and Mathematics
18
TITLE: PARABOLIC REACTION-DIFFUSION SYSTEMS WITH NONLOCAL COUPLED DIFFUSIVITY TERMS
AUTHORS: Jorge Ferreira; Hermenegildo Borges de Oliveira ;
PUBLISHED: 2017, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 37, ISSUE: 5
AUTHORS: Jorge Ferreira; Hermenegildo Borges de Oliveira ;
PUBLISHED: 2017, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 37, ISSUE: 5
19
TITLE: Interpreting weak Knig's lemma in theories of nonstandard arithmetic Full Text
AUTHORS: Dinis, B; Ferreira, F;
PUBLISHED: 2017, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 63, ISSUE: 1-2
AUTHORS: Dinis, B; Ferreira, F;
PUBLISHED: 2017, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 63, ISSUE: 1-2
20
TITLE: A herbrandized functional interpretation of classical first-order logic Full Text
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2017, SOURCE: Archive for Mathematical Logic, VOLUME: 56, ISSUE: 5-6
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2017, SOURCE: Archive for Mathematical Logic, VOLUME: 56, ISSUE: 5-6
