Coloring redundant algebraic hypergraphs

Reverse mathematics and colorings of hypergraphs

Working in subsystems of second order arithmetic, we formulate several representations for hypergraphs. We then prove the equivalence of various vertex coloring theorems to ${\sf WKL}_0$, ${\sf ACA}_0$ and $Π^1_ 1$-${\sf CA}_0$.

Coloring triangles and rectangles

It is consistent that ZF+DC holds, the hypergraph of rectangles on a given Euclidean space has countable chromatic number, while the hypergraph of equilateral triangles in two-dimensional Euclidean space does not.

等边三角形着色

Coloring equilateral triangles

本研究在集合论框架下证明，相对于不可达基数，ZF+DC成立时欧氏空间等边三角形超图有可数色数，但平面等腰三角形超图不具备该性质，推进了几何超图着色与集合论相容性研究。