Bar recursion over finite partial functions
From MaRDI portal
Publication:515562
DOI10.1016/j.apal.2016.11.003zbMath1422.03091arXiv1410.6361MaRDI QIDQ515562
Publication date: 16 March 2017
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1410.6361
03F30: First-order arithmetic and fragments
03F10: Functionals in proof theory
03F25: Relative consistency and interpretations
03D65: Higher-type and set recursion theory