Timeline for Intuitionistic consistency of surjection from naturals to reals
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 14, 2023 at 5:22 | history | edited | Sridhar Ramesh | CC BY-SA 4.0 |
added 16 characters in body
|
| Oct 12, 2023 at 11:50 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 9 characters in body
|
| Dec 26, 2022 at 15:54 | history | answered | Sridhar Ramesh | CC BY-SA 4.0 |