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