BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Weak König’s lemma in herbrandized classical second-order arithmetic

Participants in the publication
Fernando Ferreira (Author)
Dep. Matemática
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Scope
International

Refereeing
Yes

Date of Publication
2020-12-22

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Where published
Portugaliae Mathematica

Publication Identifiers
ISSN - 0032-5155

Publisher
European Mathematical Society - EMS - Publishing House GmbH

Volume
77
Number
3

Number of pages
9
Starting page
399
Last page
408

Document Identifiers
DOI - https://doi.org/10.4171/pm/2056
URL - http://dx.doi.org/10.4171/pm/2056

Rankings
SCIMAGO Q2 (2018) - 0.377 - Mathematics (miscellaneous)


Export

APA
Fernando Ferreira, (2020). Weak König’s lemma in herbrandized classical second-order arithmetic. Portugaliae Mathematica, 77, 399-408. ISSN 0032-5155. eISSN . http://dx.doi.org/10.4171/pm/2056

IEEE
Fernando Ferreira, "Weak König’s lemma in herbrandized classical second-order arithmetic" in Portugaliae Mathematica, vol. 77, pp. 399-408, 2020. 10.4171/pm/2056

BIBTEX
@article{47303, author = {Fernando Ferreira}, title = {Weak König’s lemma in herbrandized classical second-order arithmetic}, journal = {Portugaliae Mathematica}, year = 2020, pages = {399-408}, volume = 77 }