System T and the Product of Selection Functions
From MaRDI portal
Publication:2915685
DOI10.4230/LIPICS.CSL.2011.233zbMath1247.03120OpenAlexW2249870146MaRDI QIDQ2915685
No author found.
Publication date: 18 September 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_d301.html
First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25) Higher-type and set recursion theory (03D65)
Related Items (4)
A note on the finitization of Abelian and Tauberian theorems ⋮ Smart Choices and the Selection Monad ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication: System T and the Product of Selection Functions
