RAMSEY’S THEOREM FOR PAIRS AND<i>K</i>COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC (Q4977228): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2964223866
@@ Property / OpenAlex ID: W2964223866 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01891
@@ Property / arXiv ID: 1601.01891 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey methods in analysis
@@ Property / cites work: Ramsey methods in analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
+Normal rank
@@ Property / cites work @@
+An intuitionistic version of Ramsey's theorem and its use in program termination
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+On uniform relationships between combinatorial problems
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem and recursion theory
@@ Property / cites work: Ramsey's theorem and recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem for pairs and provably recursive functions
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+Q4770951
@@ Property / cites work: Q4770951 / rank @@
+Normal rank
@@ Property / cites work @@
+An Intuitionistic Analysis of Size-change Termination
+Normal rank
@@ Property / cites work @@
+Stop When You Are Almost-Full
@@ Property / cites work: Stop When You Are Almost-Full / rank @@
+Normal rank