Skip to main content
MathOverflow

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

11
  • 5
    $\begingroup$ The proof in the paper is Doyle and Conway’s, but the theorem is due to Lindenbaum and Tarski (unless you believe Bernstein). $\endgroup$
    – Emil Jeřábek
    Commented Apr 12, 2020 at 21:20
  • 2
    $\begingroup$ @Todd Tarski talks about it. Several of their results were written decades after the fact, because the war got in the way of publication. $\endgroup$
    – Andrés E. Caicedo
    Commented Apr 13, 2020 at 2:54
  • 10
    $\begingroup$ @Andrés: And in the way of Lindenbaum's life, which probably hindered publication even further. $\endgroup$
    – Asaf Karagila ♦
    Commented Apr 13, 2020 at 6:59
  • 4
    $\begingroup$ @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. $\endgroup$
    – Emil Jeřábek
    Commented Apr 13, 2020 at 7:49
  • 2
    $\begingroup$ The Lindenbaum–Tarski cancellation theorem was for any positive integer $n$, not just $n=3$. $\endgroup$
    – bof
    Commented Apr 13, 2020 at 23:00