Timeline for Special classes of the arithmetical hierarchy of sentences of finite-order arithmetic
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 4, 2021 at 17:10 | vote | accept | BPP | ||
| Aug 3, 2021 at 23:35 | comment | added | Noah Schweber | @Ben See my edit (I did screw that up). | |
| Aug 3, 2021 at 23:24 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 77 characters in body
|
| Aug 3, 2021 at 23:23 | history | undeleted | Noah Schweber | ||
| Aug 3, 2021 at 23:18 | history | deleted | Noah Schweber | via Vote | |
| Aug 3, 2021 at 23:18 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 324 characters in body
|
| Aug 3, 2021 at 23:13 | comment | added | BPP | Do you mind explaining how we get that $\Pi^1_2$ is special (given that $\Pi^1_1$ is special)? | |
| Aug 3, 2021 at 22:44 | history | answered | Noah Schweber | CC BY-SA 4.0 |