BIBLIOS

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

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Capítulo em Livro


Título
A Herbrandised interpretation of semi-intuitionistic second-order arithmetic with function variables

Participantes na publicação
João Enes (Author)
Fernando Ferreira (Author)
Dep. Matemática
 CMAFcIO
Resumo
We present a functional interpretation of a semi-intutionistic second-order system with function variables. The semi-intuitionism includes principles like Markov’s principle, the lesser limited principle of omniscience, weak König’s lemma or the FAN principle. The interpretation is herbrandised in the sense that it collects witnesses into finite sets. As a consequence, a Herbrand-like witnessing result holds for our system.

Editor
Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster

Data de Publicação
2023-04

Suporte
Mathematics for Computation (M4C)

Identificadores da Publicação

Editora
WORLD SCIENTIFIC

Edição
First

Número de Páginas
21
Página Inicial
251
Página Final
271

Identificadores do Documento
DOI - https://doi.org/10.1142/9789811245220_0010
URL - http://dx.doi.org/10.1142/9789811245220_0010


Exportar referência

APA
João Enes, Fernando Ferreira, (2023). A Herbrandised interpretation of semi-intuitionistic second-order arithmetic with function variables. Mathematics for Computation (M4C), 251-271

IEEE
João Enes, Fernando Ferreira, "A Herbrandised interpretation of semi-intuitionistic second-order arithmetic with function variables" in Mathematics for Computation (M4C), 2023, pp. 251-271

BIBTEX
@incollection{58269, author = {João Enes and Fernando Ferreira}, title = {A Herbrandised interpretation of semi-intuitionistic second-order arithmetic with function variables}, booktitle = {Mathematics for Computation (M4C)}, year = 2023, pages = {251-271}, address = {}, publisher = {WORLD SCIENTIFIC} }