Form equivalence class Howard-Rubin Number: 1
Statement:
Every graph of the form \(G(A,H(A))\) has an irreducible, good coloring. (\(H\) is the Hartogs aleph function.)
Howard-Rubin number: 1 AV
Citations (articles):
Komj'ath/Galvin [1991]
Graph colorings and the axiom of choice
Connections (notes):
Note [118]
Definitions from Galvin/Komj\'ath [1991]
for forms [1 AT] through [1 AW].
References (books):
Back