Timeline for Did I find a few (small) errors in the Pradic and Brown 2021 paper that Schroeder-Bernstein implies excluded middle?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 21, 2022 at 5:11 | comment | added | Jim Kingdon | I was able to email Pierre Pradic and there is now a version 3 of the paper at arxiv.org/abs/1904.09193 (published 15 Aug 2022) with the corrections. Thanks for all the help. | |
| Aug 14, 2022 at 15:06 | vote | accept | Jim Kingdon | ||
| Aug 14, 2022 at 2:45 | comment | added | Jim Kingdon | Oh nice. I figured I probably wasn't the first to formalize Schroeder-Bernstein implies excluded middle, but I was only aware of the Escardó paper on omniscience of NN_infinity, not his formalization linked above. | |
| Aug 13, 2022 at 22:31 | history | answered | Andrej Bauer | CC BY-SA 4.0 |