StevenXClontz’s avatarStevenXClontz’s Twitter Archive—№ 9,045

  1. …in reply to @DiracDeltaFunk
    @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".
    1. …in reply to @StevenXClontz
      @DiracDeltaFunk @lisyarus That is, it doesn't "require" AC if there are models of set theory where the statement holds, but AC is false.