Timeline for Can a nonstandard model of $\mathsf{PA}$ be "$\Delta^1_1$-well-ordered?"
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 3, 2021 at 3:17 | vote | accept | Noah Schweber | ||
Mar 2, 2021 at 2:06 | answer | added | James E Hanson | timeline score: 5 | |
Mar 2, 2021 at 0:50 | history | asked | Noah Schweber | CC BY-SA 4.0 |