fossilesque@mander.xyzdeleted by creator to Science Memes@mander.xyzEnglish · 7 months agopro choicemander.xyzexternal-linkmessage-square42linkfedilinkarrow-up1634arrow-down115cross-posted to: mathmemes@lemmy.blahaj.zone
arrow-up1619arrow-down1external-linkpro choicemander.xyzfossilesque@mander.xyzdeleted by creator to Science Memes@mander.xyzEnglish · 7 months agomessage-square42linkfedilinkcross-posted to: mathmemes@lemmy.blahaj.zone
minus-squareFishFace@piefed.sociallinkfedilinkEnglisharrow-up12·7 months agoThe 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.
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.