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

@@ Property / author @@
+Jeffry L. Hirst
@@ Property / author: Jeffry L. Hirst / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962720699
@@ Property / OpenAlex ID: W2962720699 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09638
@@ Property / arXiv ID: 1804.09638 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q128896494
@@ Property / Wikidata QID: Q128896494 / rank @@
+Normal rank