Timeline for Half Cantor-Bernstein without choice
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 19, 2011 at 2:54 | comment | added | Ali Enayat | Andreas, thanks for editing; I also edited further to reflect your second comment. | |
| May 19, 2011 at 2:50 | history | edited | Ali Enayat | CC BY-SA 3.0 |
minor change
|
| May 19, 2011 at 1:04 | comment | added | Andreas Blass | The surjection from $A$ to $B$ is trivial; it just deletes the first term from any nonempty sequence. | |
| May 19, 2011 at 1:02 | history | edited | Andreas Blass | CC BY-SA 3.0 |
added 13 characters in body
|
| May 19, 2011 at 1:02 | comment | added | Andreas Blass | I edited to make it match Jech's exercise. Apart from an obvious typo, the important change is that $B$ (and thus also $A$) should consist of one-to-one sequences. Without that stipulation, there's an easy bijection. | |
| May 18, 2011 at 22:32 | history | answered | Ali Enayat | CC BY-SA 3.0 |