Timeline for If a result is apparently provable with AC, is actually independent of ZF?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 7, 2015 at 13:03 | comment | added | Todd Trimble | To say that it was first obtained by Lindenbaum and Tarski in 1926 is to skip over the actual history of the situation. Certainly it was not published in 1926, and Tarski many years later said he couldn't remember how Lindenbaum's argument for a key lemma went, but found a proof for it himself. The (Conway-)Doyle paper describes all this better than I can in a small comment box (they, or he [Doyle], surmise that they hit upon the argument Lindenbaum must have used, but I'd treat that as just a guess). | |
| Feb 6, 2011 at 19:30 | comment | added | Jim Conant | This paper is also notable for giving a great conceptual proof of the Schröder-Bernstein theorem, as a warm-up to the main proof. | |
| Feb 5, 2011 at 19:44 | history | answered | Jim Belk | CC BY-SA 2.5 |