BIBLIOS

   Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
Interpreting weak König's lemma in theories of nonstandard arithmetic

Participantes na publicação
Bruno Dinis (Author)
Fernando Ferreira (Author)
Dep. Matemática
 CMAFcIO
Resumo
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.

Data de Publicação
2017

Instituição
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Suporte
Mathematical Logic Quarterly

Identificadores da Publicação
ISSN - 0942-5616

Editora
Wiley

Volume
63
Fascículo
1-2

Página Inicial
114
Página Final
123

Identificadores do Documento
URL - http://dx.doi.org/10.1002/malq.201600066
DOI - https://doi.org/10.1002/malq.201600066

Identificadores de Qualidade
SCIMAGO Q2 (2017) - 0.664 - Logic


Exportar referência

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 }