On Spector's bar recursion

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

zbMATH Keywords

selection functions; Spector's bar recursion; T-definability

Mathematics Subject Classification ID

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