THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221): Difference between revisions

@@ Property / cites work @@
+On the computational content of the axiom of choice
+Normal rank
@@ Property / cites work @@
+Modified bar recursion
@@ Property / cites work: Modified bar recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
+Normal rank
@@ Property / cites work @@
+Computational Interpretations of Analysis via Products of Selection Functions
+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 @@
+BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS
@@ Property / cites work: BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS / rank @@
+Normal rank
@@ Property / cites work @@
+The bounded functional interpretation of the double negation shift
+Normal rank
@@ Property / cites work @@
+Inductive theorem proving based on tree grammars
@@ Property / cites work: Inductive theorem proving based on tree grammars / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Strong functors and monoidal monads
@@ Property / cites work: Strong functors and monoidal monads / rank @@
+Normal rank
@@ Property / cites work @@
+Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+On a generalization of quantifiers
@@ Property / cites work: On a generalization of quantifiers / 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 @@
+Q5613181
@@ Property / cites work: Q5613181 / 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
@@ Property / cites work @@
+A functional interpretation for nonstandard arithmetic
+Normal rank