Timeline for How does one prove the consistency of $\mathrm{PA}$ in $\mathrm{Z_2}$?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 25, 2022 at 9:05 | answer | added | Emil Jeřábek | timeline score: 5 | |
| Sep 22, 2022 at 16:10 | vote | accept | cody | ||
| Sep 19, 2022 at 16:40 | answer | added | Noah Schweber | timeline score: 4 | |
| Sep 19, 2022 at 16:18 | history | edited | cody | CC BY-SA 4.0 |
Embarassing typo
|
| Sep 19, 2022 at 16:13 | history | asked | cody | CC BY-SA 4.0 |