System T and the product of selection functions

DOI10.4230/LIPICS.CSL.2011.233MaRDI QIDQ2915685zbMATH OpenOpenAlexFDO

Authors Martín Escardo, Paulo Oliva, Thomas Powell

Publication date 18 September 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_d301.html

zbMATH Keywords

Dialectica interpretationfinite choiceprimitive recursionproduct of selection functions

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

• Bar recursion and products of selection functions
• The equivalence of bar recursion and open recursion
• On Spector's bar recursion
• scientific article; zbMATH DE number 432708
• Primitive recursive selection functions for existential assertions over abstract algebras

Cited in

(6)

• How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
• The computational content of nonstandard analysis
• scientific article; zbMATH DE number 7269245 (Why is no real title available?)
• Bar recursion and products of selection functions
• A note on the finitization of Abelian and Tauberian theorems
• Smart Choices and the Selection Monad

This page was built for publication: System T and the product of selection functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915685)