Variants of ÅoÅ's Theorem
arXiv:2501.14990
Abstract
We study ÅoÅ's theorem in a choiceless context. We introduce some variants of ÅoÅ's theorem. These variants seem weaker than ÅoÅ's theorem, but we prove that these are equivalent to ÅoÅ's theorem.