On Spector's bar recursion (Q2910991): Difference between revisions

@@ Property / cites work @@
+Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
+Normal rank
@@ Property / cites work @@
+Selection functions, bar recursion and backward induction
+Normal rank
@@ Property / cites work @@
+Sequential games and optimal strategies
@@ Property / cites work: Sequential games and optimal strategies / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q5545953
@@ Property / cites work: Q5545953 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal analysis of simple cases of bar recursion
@@ Property / cites work: Ordinal analysis of simple cases of bar recursion / rank @@
+Normal rank
@@ Property / cites work @@
+On the No-Counterexample Interpretation
@@ Property / cites work: On the No-Counterexample Interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Extensional Gödel functional interpretation. A consistency proof of classical analysis
+Normal rank
@@ Property / cites work @@
+Q5613181
@@ Property / cites work: Q5613181 / rank @@
+Normal rank
@@ Property / cites work @@
+On bar recursion of types 0 and 1
@@ Property / cites work: On bar recursion of types 0 and 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank