BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Interpreting weak König's lemma in theories of nonstandard arithmetic

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

Scope
International

Refereeing
Yes

Summary
We show how to interpret weak König’s lemma in some recently defined theories of nonstandard arithmetic in all finite types. Two types of interpretations are described, with very different verifications. The celebrated conservation result of Friedman’s about weak König’s lemma can be proved using these interpretations. We also address some issues concerning the collecting of witnesses in herbrandized functional interpretations.

Date of Publication
2017

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Where published
Mathematical Logic Quarterly

Publication Identifiers
ISSN - 0942-5616

Publisher
Wiley

Volume
63
Number
1-2

Starting page
114
Last page
123

Document Identifiers
URL - http://dx.doi.org/10.1002/malq.201600066
DOI - https://doi.org/10.1002/malq.201600066

Rankings
SCIMAGO Q2 (2017) - 0.664 - Logic


Export

APA
Bruno Dinis, Fernando Ferreira, (2017). Interpreting weak König's lemma in theories of nonstandard arithmetic. Mathematical Logic Quarterly, 63, 114-123. ISSN 0942-5616. eISSN . http://dx.doi.org/10.1002/malq.201600066

IEEE
Bruno Dinis, Fernando Ferreira, "Interpreting weak König's lemma in theories of nonstandard arithmetic" in Mathematical Logic Quarterly, vol. 63, pp. 114-123, 2017. 10.1002/malq.201600066

BIBTEX
@article{36646, author = {Bruno Dinis and Fernando Ferreira}, title = {Interpreting weak König's lemma in theories of nonstandard arithmetic}, journal = {Mathematical Logic Quarterly}, year = 2017, pages = {114-123}, volume = 63 }