Reverse mathematics and colorings of hypergraphs

被引：0
|
作者：
Davis, Caleb [1 ]
Hirst, Jeffry [1 ]
Pardo, Jake [1 ]
Ransom, Tim [2 ]
机构：
[1] Appalachian State Univ, Dept Math Sci, ASU Box 32092, Boone, NC 20608 USA
[2] Clemson Univ, Div Comp Sci, 100 McAdams Hall, Clemson, SC 29634 USA
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 2019年 / 58卷 / 5-6期
关键词：
Reverse mathematics; Hypergraph; Vertex; Coloring;
D O I：
10.1007/s00153-018-0654-z
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Working in subsystems of second order arithmetic, we formulate several representations for hypergraphs. We then prove the equivalence of various vertex coloring theorems to WKL0, ACA(0), and Pi(1)(1)-CA(0).
引用
收藏
页码：575 / 585
页数：11
相关论文
共 50 条
  • [1] Reverse mathematics and colorings of hypergraphs
    Caleb Davis
    Jeffry Hirst
    Jake Pardo
    Tim Ransom
    [J]. Archive for Mathematical Logic, 2019, 58 : 575 - 585
  • [2] Reverse Mathematics and Grundy colorings of graphs
    Schmerl, James H.
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2010, 56 (05) : 541 - 548
  • [3] On colorings of hypergraphs
    Shabanov, DA
    [J]. DOKLADY MATHEMATICS, 2005, 71 (03) : 438 - 441
  • [4] On proper colorings of hypergraphs
    Gravin N.V.
    Karpov D.V.
    [J]. Journal of Mathematical Sciences, 2012, 184 (5) : 595 - 600
  • [5] Perfect colorings of hypergraphs
    Sobolev Institute of Mathematics, Novosibirsk, Russia
    [J]. arXiv, 1600,
  • [6] On Equitable Colorings of Hypergraphs
    M. Akhmejanova
    [J]. Mathematical Notes, 2019, 106 : 319 - 326
  • [7] SUBDIVISION OF HYPERGRAPHS AND THEIR COLORINGS
    Iradmusa, Moharram N.
    [J]. OPUSCULA MATHEMATICA, 2020, 40 (02) : 271 - 290
  • [8] On Equitable Colorings of Hypergraphs
    Akhmejanova, M.
    [J]. MATHEMATICAL NOTES, 2019, 106 (3-4) : 319 - 326
  • [9] Strong colorings of hypergraphs
    Agnarsson, G
    Halldórsson, MM
    [J]. APPROXIMATION AND ONLINE ALGORITHMS, 2004, 3351 : 253 - 266
  • [10] On balanced colorings of hypergraphs
    Rozovskaya A.P.
    Titova M.V.
    Shabanov D.A.
    [J]. Journal of Mathematical Sciences, 2010, 169 (5) : 654 - 670
12345