Well Quasi-orders and the Functional Interpretation (Q3295153): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2622007578
@@ Property / OpenAlex ID: W2622007578 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02881
@@ Property / arXiv ID: 1706.02881 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5702662
@@ Property / cites work: Q5702662 / rank @@
+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 @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3281965
@@ Property / cites work: Q3281965 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+On the Interpretation of Non-Finitist Proofs--Part I
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Computability
@@ Property / cites work: Higher-Order Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734436
@@ Property / cites work: Q5734436 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4986736
@@ Property / cites work: Q4986736 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence of bar recursion and open recursion
+Normal rank
@@ Property / cites work @@
+Gödel's functional interpretation and the concept of learning
+Normal rank
@@ Property / cites work @@
+Proving open properties by induction
@@ Property / cites work: Proving open properties by induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Certified Kruskal’s Tree Theorem
@@ Property / cites work: Certified Kruskal’s Tree Theorem / rank @@
+Normal rank