Timeline for n-consistency - provability/truth of $\Sigma^0_n$ and $\Pi^0_{n+1}$ -formulas; n-consistent extensions, etc
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 23, 2018 at 8:47 | comment | added | Ettore | @AndrésE.Caicedo Thanks! Yeah I thought about just copy-paste the whole thing, but thought also that it would be more economic/practical to have the answers/discussions only on one site, so I only left the link. OK I'll change that in the future. | |
| Dec 22, 2018 at 19:15 | comment | added | Noah Schweber | Related meta discussion: math.meta.stackexchange.com/questions/29498/… | |
| Dec 22, 2018 at 15:28 | comment | added | Andrés E. Caicedo | Thanks for the link. I suggest you also include here the relevant definitions and question rather than having them only at the link. The idea is that, even if the other question disappears, this one should still make sense. Also, be explicit (not just "a textbook", but name, author, year, section, page, whatever else seems relevant). | |
| Dec 22, 2018 at 15:20 | review | Close votes | |||
| Jan 20, 2019 at 3:05 | |||||
| Dec 22, 2018 at 14:35 | review | First posts | |||
| Dec 22, 2018 at 15:04 | |||||
| Dec 22, 2018 at 14:31 | history | asked | Ettore | CC BY-SA 4.0 |