BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Book chapters


Title
A Herbrandised interpretation of semi-intuitionistic second-order arithmetic with function variables

Participants in the publication
João Enes (Author)
Fernando Ferreira (Author)
Dep. Matemática
 CMAFcIO
Summary
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(s)
Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster

Date of Publication
2023-04

Where published
Mathematics for Computation (M4C)

Publication Identifiers

Publisher
WORLD SCIENTIFIC

Edition
First

Number of pages
21
Starting page
251
Last page
271

Document Identifiers
DOI - https://doi.org/10.1142/9789811245220_0010
URL - http://dx.doi.org/10.1142/9789811245220_0010


Export

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} }