fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 5 days agopro choicemander.xyzimagemessage-square42fedilinkarrow-up1593arrow-down116cross-posted to: [email protected]
arrow-up1577arrow-down1imagepro choicemander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 5 days agomessage-square42fedilinkcross-posted to: [email protected]
minus-squareFishFace@piefed.sociallinkfedilinkEnglisharrow-up11·4 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.