On Spector's bar recursion
From MaRDI portal
Publication:2910991
DOI10.1002/malq.201100106zbMath1251.03066MaRDI QIDQ2910991
No author found.
Publication date: 12 September 2012
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201100106
03F07: Structure of proofs
03F10: Functionals in proof theory
03F25: Relative consistency and interpretations
Related Items
THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT, Unnamed Item, BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS, The equivalence of bar recursion and open recursion, Bar recursion over finite partial functions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Extensional Gödel functional interpretation. A consistency proof of classical analysis
- Sequential games and optimal strategies
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Selection functions, bar recursion and backward induction
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- On bar recursion of types 0 and 1
- Ordinal analysis of simple cases of bar recursion
- On the No-Counterexample Interpretation
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics