Timeline for Models of second-order arithmetic closed under relative constructibility
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 4 at 22:27 | vote | accept | Lorenzo | ||
| Feb 4 at 18:31 | history | edited | Hanul Jeon | CC BY-SA 4.0 |
deleted 6 characters in body
|
| Feb 4 at 18:25 | history | edited | Hanul Jeon | CC BY-SA 4.0 |
deleted 6 characters in body
|
| Feb 4 at 18:19 | history | answered | Hanul Jeon | CC BY-SA 4.0 |