Timeline for Conway's lesser-known results
Current License: CC BY-SA 4.0
13 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 19, 2023 at 11:53 | comment | added | Mariano Suárez-Álvarez | @EmilJeřábek, Tarski's «Bernstein gave only a rough outline of a proof, the understanding of which presents some difficulties» is a tour de force in elegance! | |
Jun 19, 2023 at 9:31 | comment | added | Emil Jeřábek | @MarianoSuárez-Álvarez Bernstein claimed to have proved it for all $n$ (two decades before Lindenbaum and Tarski’s work), but apparently no one can make sense of his arguments. See the first paragraph on p. 5 of arxiv.org/abs/math/0605779, or p. 20 in arxiv.org/abs/1504.01402 . | |
Jun 19, 2023 at 8:59 | comment | added | Mariano Suárez-Álvarez | @EmilJeřábek, now I am curious: what did Bernstein say on the matter? 🤔 | |
Apr 16, 2020 at 9:07 | comment | added | Dave L Renfro | Regarding my previous comment, just now I came across Andrés E. Caicedo's answer to Axiom of binary choice vs Axiom of finite choice. | |
Apr 15, 2020 at 14:38 | comment | added | Dave L Renfro | Asaf, Conway's paper Effective implications between "finite" choice axioms might also be worth discussing. Although I've cited this a couple of times in recent years (here and here), you're certainly more qualified than I am to comment on the significance and interest of this paper. | |
Apr 14, 2020 at 6:04 | comment | added | Asaf Karagila♦ | @bof: If my memory serves me right, the Doyle–Conway paper proves just that. The case $n=3$ is the first difficult one, though. | |
Apr 13, 2020 at 23:00 | comment | added | bof | The Lindenbaum–Tarski cancellation theorem was for any positive integer $n$, not just $n=3$. | |
Apr 13, 2020 at 7:49 | comment | added | Emil Jeřábek | @ToddTrimble While the original Lindenbaum’s proof claimed in the Lindenbaum and Tarski 1926 paper is only known from hearsay, Tarski undeniably published a proof of the result in 1949. | |
Apr 13, 2020 at 6:59 | comment | added | Asaf Karagila♦ | @Andrés: And in the way of Lindenbaum's life, which probably hindered publication even further. | |
Apr 13, 2020 at 2:54 | comment | added | Andrés E. Caicedo | @Todd Tarski talks about it. Several of their results were written decades after the fact, because the war got in the way of publication. | |
Apr 12, 2020 at 21:20 | comment | added | Emil Jeřábek | The proof in the paper is Doyle and Conway’s, but the theorem is due to Lindenbaum and Tarski (unless you believe Bernstein). | |
S Apr 12, 2020 at 18:19 | history | answered | Asaf Karagila♦ | CC BY-SA 4.0 | |
S Apr 12, 2020 at 18:19 | history | made wiki | Post Made Community Wiki by Asaf Karagila♦ |