A constructive interpretation of Ramsey's theorem via the product of selection functions (Q5740680): Difference between revisions

@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential games and optimal strategies
@@ Property / cites work: Sequential games and optimal strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem for pairs and provably recursive functions
+Normal rank
@@ Property / cites work @@
+Selection functions, bar recursion and backward induction
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Computational Interpretations of Analysis via Products of Selection Functions
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Combinatorial set theory: Partition relations for cardinals
+Normal rank
@@ Property / cites work @@
+An analysis of Ramsey's theorem
@@ Property / cites work: An analysis of Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+The metamathematics of ergodic theory
@@ Property / cites work: The metamathematics of ergodic theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3545513
@@ Property / cites work: Q3545513 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank