Ordinal analysis of simple cases of bar recursion
From MaRDI portal
Publication:3912574
DOI10.2307/2273252zbMath0463.03031OpenAlexW2037300268MaRDI QIDQ3912574
Publication date: 1981
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273252
Related Items (8)
On Spector's bar recursion ⋮ Term extraction and Ramsey's theorem for pairs ⋮ Unnamed Item ⋮ Primitive recursion and the chain antichain principle ⋮ Gödel functional interpretation and weak compactness ⋮ A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM ⋮ On the computational content of the Bolzano-Weierstraß Principle ⋮ A note on the monotone functional interpretation
Cites Work
This page was built for publication: Ordinal analysis of simple cases of bar recursion