fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 15 days agopro choiceimagemessage-square36linkfedilinkarrow-up1613arrow-down116cross-posted to: mathmemes@lemmy.blahaj.zone
arrow-up1597arrow-down1imagepro choicefossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 15 days agomessage-square36linkfedilinkcross-posted to: mathmemes@lemmy.blahaj.zone
minus-squareFishFace@piefed.sociallinkfedilinkEnglisharrow-up11·15 days 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.