• FishFace@piefed.social
      link
      fedilink
      English
      arrow-up
      5
      ·
      10 hours ago

      The axiom of determinacy, which implies some of (or all?) of the statements in op, and is more or less stated at the end. AD implies ~AC but they’re not equivalent.