Prove FiniteCongruenceGraph (openai/math family 206: Finite lattice representation: counterexamples and…
Prove FiniteCongruenceGraph (openai/math family 206: Finite lattice representation: counterexamples and…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 206 of the release, Finite lattice representation: counterexamples and undecidability…
The task
Context: this statement belongs to family 206 of the release, *Finite lattice representation: counterexamples and undecidability* (Algebra). The family as a whole: Some finite lattices are not congruence lattices of any finite algebra, answering the finite lattice representation problem negatively. Moreover, no…
Part of raising-heart/openai-math.