fossilesque@mander.xyz to Science Memes@mander.xyzEnglish · 8 months agopro choicemander.xyzimagemessage-square10linkfedilinkarrow-up126arrow-down10cross-posted to: mathmemes@lemmy.blahaj.zone
arrow-up126arrow-down1imagepro choicemander.xyzfossilesque@mander.xyz to Science Memes@mander.xyzEnglish · 8 months agomessage-square10linkfedilinkcross-posted to: mathmemes@lemmy.blahaj.zone
minus-squareSuperEars@lemmy.worldlinkfedilinkEnglisharrow-up1·8 months agoI am behind the times on some abbreviations. And dense. What is AD in this context?
minus-squareFishFace@piefed.sociallinkfedilinkEnglisharrow-up1·8 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.
I am behind the times on some abbreviations. And dense.
What is AD in this context?
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.