BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356): Difference between revisions

@@ Property / OpenAlex ID @@
+W1995130513
@@ Property / OpenAlex ID: W1995130513 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.7046
@@ Property / arXiv ID: 1407.7046 / rank @@
+Normal rank
@@ Property / cites work @@
+On Spector's bar recursion
@@ Property / cites work: On Spector's bar recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Sequential games and optimal strategies
@@ Property / cites work: Sequential games and optimal strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Selection functions, bar recursion and backward induction
+Normal rank
@@ Property / cites work @@
+Modified bar recursion
@@ Property / cites work: Modified bar recursion / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence of bar recursion and open recursion
+Normal rank