Reverse mathematics and colorings of hypergraphs

Caleb Davis,Jeffry Hirst,Jake Pardo,Tim Ransom

Archive for Mathematical Logic（2018）

引用 1|浏览4

暂无评分

摘要

Working in subsystems of second order arithmetic, we formulate several representations for hypergraphs. We then prove the equivalence of various vertex coloring theorems to _0 , _0 , and ^1_1 -_0 .

查看译文

关键词

Reverse mathematics, Hypergraph, Vertex, Coloring, 03B30, 03F35, 05C15

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要