Timeline for Understanding Specker's disproof of the axiom of choice in New Foundations
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 7, 2022 at 7:42 | comment | added | Veky | I'd like to ask you a few questions about your disertation and your involvement in the study of New Foundations. Can you give me your email address, or just contact me at [email protected]? Thanks | |
| Dec 30, 2018 at 23:44 | history | edited | Maestro13 | CC BY-SA 4.0 |
added 140 characters in body
|
| Dec 29, 2018 at 18:28 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |
Spelled out name + title of linked thesis, for readability and to protect against link rot
|
| Dec 29, 2018 at 15:58 | history | edited | Maestro13 | CC BY-SA 4.0 |
added 4 characters in body
|
| Dec 29, 2018 at 14:41 | history | edited | Maestro13 | CC BY-SA 4.0 |
added 12 characters in body
|
| Dec 28, 2018 at 21:47 | history | edited | Maestro13 | CC BY-SA 4.0 |
added 2 characters in body
|
| Dec 28, 2018 at 21:35 | history | edited | Maestro13 | CC BY-SA 4.0 |
added 36 characters in body
|
| Dec 28, 2018 at 21:25 | history | edited | Maestro13 | CC BY-SA 4.0 |
added 1755 characters in body
|
| Dec 27, 2018 at 9:30 | review | First posts | |||
| Dec 27, 2018 at 9:38 | |||||
| Dec 27, 2018 at 9:29 | history | answered | Maestro13 | CC BY-SA 4.0 |