Timeline for Gentzen's result on PA
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 6, 2020 at 11:41 | comment | added | provocateur | What's a reference for the claim that things can be improved to a $\Sigma_1$ or $\Delta_0$ formula? | |
| Jan 5, 2020 at 21:16 | vote | accept | Gabriel Nivasch | ||
| Jan 5, 2020 at 20:26 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 105 characters in body
|
| Jan 5, 2020 at 20:05 | history | answered | Noah Schweber | CC BY-SA 4.0 |