-
@DiracDeltaFunk @lisyarus Oh I definitely did not interpret that this way. You said "requires AC", so if it could be accomplished using a weakened form of AC, I said "no".
-
@DiracDeltaFunk @lisyarus That is, it doesn't "require" AC if there are models of set theory where the statement holds, but AC is false.