nForum - Discussion Feed (AC00)2024-03-28T21:01:39+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
TobyBartels comments on "AC00" (12007)https://nforum.ncatlab.org/discussion/1413/?Focus=12007#Comment_120072010-06-05T23:58:27+00:002024-03-28T21:01:38+00:00TobyBartelshttps://nforum.ncatlab.org/account/7/
Also WCC.
Also WCC.
]]>
TobyBartels comments on "AC00" (12006)https://nforum.ncatlab.org/discussion/1413/?Focus=12006#Comment_120062010-06-05T23:21:07+00:002024-03-28T21:01:38+00:00TobyBartelshttps://nforum.ncatlab.org/account/7/
I added a paragraph about AC 00AC_{00} to countable choice