Factorization of the Shoenfield-like bounded functional interpretation

DOI10.1215/00294527-2008-027zbMath1190.03050arXiv1009.1868OpenAlexW2072978932MaRDI QIDQ1038604

Jaime Gaspar

Publication date: 18 November 2009

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1009.1868

zbMATH Keywords

functional interpretationnegative translationmajorizability

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Stochastic mappings and random distribution fields. II: Stationarity ⋮ A parametrised functional interpretation of Heyting arithmetic ⋮ The bounded functional interpretation of the double negation shift ⋮ A functional interpretation for nonstandard arithmetic

This page was built for publication: Factorization of the Shoenfield-like bounded functional interpretation