Timeline for Axiom of countable choice need for the cantor-bernstein theorem [closed]
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 4, 2016 at 0:40 | comment | added | Yemon Choi | I think this is a reasonable question, for the reasons @AsafKaragila gives, and because for me MO is about being able to consult outside one's own expertise -- this whole "everyone learns this in grad school" trope is in my opinion not so healthy. It could have been asked in a slightly better way, though | |
| Feb 2, 2016 at 1:12 | comment | added | Yitzchak Shmalo | First, I did not believe that any specific part of any proofs I've seen involved choice, but there are many proofs which involve the axiom of countable choice in a way which I would not have realized. For example, the proof for the claim that the countable union of countable sets is countable. Second, if someone can ask whether the Axiom of Infinity is needed in Cantor-Bernstein theorem (on this site), I don't see why I cannot ask this question. Finally, I tried deleting this question but they did not let me. Anyway, sorry. (Also, I looked online for an answer and did not find any.) | |
| Feb 2, 2016 at 0:42 | comment | added | Asaf Karagila♦ | @Noah: It might be acceptable to ask this question on this site, I can certainly imagine one of the professors in my department running into me (or any other set theorist) in the hallway and asking this. Not like this, though. And some effort, like typing into the search box "Cantor Bernstein choice" and reading a bunch of the related results is more or less a prerequisite of asking anyway. | |
| Feb 1, 2016 at 18:01 | comment | added | Noah Schweber | For the OP: The reason this question was downvoted and put on hold was that it is not appropriate for this site, which is for research mathematics. Math.stackexchange is a better site for such questions (I would not have answered, except that I forgot which site I was on. :P). As a side note, though, you should explain what you've tried and where you got stuck - in particular, for a question like this (where the standard proof goes through in ZF), explain what step(s) seem like they invoke choice. | |
| Feb 1, 2016 at 10:31 | history | closed |
Franz Lemmermeyer Wolfgang user1688 Myshkin Daniel Moskovich |
Not suitable for this site | |
| Feb 1, 2016 at 7:33 | review | Close votes | |||
| Feb 1, 2016 at 10:31 | |||||
| Feb 1, 2016 at 6:36 | review | Low quality posts | |||
| Feb 1, 2016 at 6:51 | |||||
| Feb 1, 2016 at 6:33 | answer | added | Noah Schweber | timeline score: 3 | |
| Feb 1, 2016 at 6:26 | review | First posts | |||
| Feb 1, 2016 at 7:23 | |||||
| Feb 1, 2016 at 6:18 | history | asked | Yitzchak Shmalo | CC BY-SA 3.0 |