BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
The FAN principle and weak König's lemma in herbrandized second-order arithmetic

Participants in the publication
Fernando Ferreira (Author)
Dep. Matemática
 CMAFcIO
Date of Publication
2020

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Where published
Annals of Pure and Applied Logic

Publication Identifiers
ISSN - 0168-0072

Publisher
Elsevier BV

Volume
171
Number
9

Starting page
102843

Document Identifiers
DOI - https://doi.org/10.1016/j.apal.2020.102843
URL - http://dx.doi.org/10.1016/j.apal.2020.102843

Rankings
SCIMAGO Q1 (2018) - 1.226 - Logic


Export

APA
Fernando Ferreira, (2020). The FAN principle and weak König's lemma in herbrandized second-order arithmetic. Annals of Pure and Applied Logic, 171, ISSN 0168-0072. eISSN . http://dx.doi.org/10.1016/j.apal.2020.102843

IEEE
Fernando Ferreira, "The FAN principle and weak König's lemma in herbrandized second-order arithmetic" in Annals of Pure and Applied Logic, vol. 171, 2020. 10.1016/j.apal.2020.102843

BIBTEX
@article{46550, author = {Fernando Ferreira}, title = {The FAN principle and weak König's lemma in herbrandized second-order arithmetic}, journal = {Annals of Pure and Applied Logic}, year = 2020, volume = 171 }