Timeline for Is the usual enumeration of $\mathsf{PA}$ "minimal for consistency strength"?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 19, 2023 at 11:26 | review | Close votes | |||
| Jul 24, 2023 at 3:08 | |||||
| Jun 15, 2023 at 13:23 | answer | added | Joel David Hamkins | timeline score: 8 | |
| Jun 15, 2023 at 11:51 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
typos
|
| Jun 14, 2023 at 6:12 | vote | accept | Noah Schweber | ||
| Jun 14, 2023 at 6:10 | answer | added | Emil Jeřábek | timeline score: 14 | |
| Jun 14, 2023 at 5:32 | history | asked | Noah Schweber | CC BY-SA 4.0 |