Skip to main content
4 events
when toggle format what by license comment
Aug 17, 2017 at 7:43 comment added Andrej Bauer In this particular case you can avoid AC, but people do this sort of thing all the time, and in general it amounts to AC.
Aug 17, 2017 at 7:41 comment added Tobias Kildetoft @AndrejBauer Where in this would AC be applied? For each $k$ we would just need to choose an element from a well-ordered set.
Aug 17, 2017 at 7:39 comment added Andrej Bauer And we inadvertently applied the Axiom of Choice.
Nov 2, 2016 at 13:58 history answered Gerald Edgar CC BY-SA 3.0