The rigid relation principle, a new weak choice principle
The rigid relation principle, a new weak choice principle
Abstract The rigid relation principle, introduced in this article, asserts that every set admits a rigid binary relation. This follows from the axiom of choice, because wellāorders are rigid, but we prove that it is neither equivalent to the axiom of choice nor provable in ZermeloāFraenkel set theory without the ā¦