Reverse mathematics and colorings of hypergraphs (Q2312088): Difference between revisions

@@ Property / cites work @@
+Q3993087
@@ Property / cites work: Q3993087 / rank @@
+Normal rank
@@ Property / cites work @@
+The metamathematics of Stable Ramsey’s Theorem for Pairs
+Normal rank
@@ Property / cites work @@
+Combinatorial principles equivalent to weak induction
+Normal rank
@@ Property / cites work @@
+COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF INDUCTION
+Normal rank
@@ Property / cites work @@
+Q3478406
@@ Property / cites work: Q3478406 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464620
@@ Property / cites work: Q3464620 / rank @@
+Normal rank
@@ Property / cites work @@
+On principles between ∑1- and ∑2-induction, and monotone enumerations
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-Free Coloring and its Applications
@@ Property / cites work: Conflict-Free Coloring and its Applications / rank @@
+Normal rank