On Spector's bar recursion

DOI10.1002/malq.201100106zbMath1251.03066OpenAlexW1965352021MaRDI 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 functionsSpector's bar recursionT-definability

Mathematics Subject Classification ID

Structure of proofs (03F07) Functionals in proof theory (03F10) Relative consistency and interpretations (03F25)

Related Items

The equivalence of bar recursion and open recursion ⋮ Bar recursion over finite partial functions ⋮ THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT ⋮ Unnamed Item ⋮ BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item