Timeline for Is every true $\Pi^0_1$ statement entailed from a consistency statement of $PA$?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 16, 2020 at 16:46 | vote | accept | Ruizhi Yang | ||
| Jan 16, 2020 at 8:45 | review | Close votes | |||
| Jan 21, 2020 at 3:05 | |||||
| Jan 15, 2020 at 21:49 | answer | added | Noah Schweber | timeline score: 2 | |
| Jan 15, 2020 at 21:46 | comment | added | Noah Schweber | I think the "PA$^*$" in your opener should just be PA. | |
| Jan 15, 2020 at 10:29 | comment | added | Ruizhi Yang | $W_e$ is the range of $\Phi_e$ by fixing an enumeration of Turing machines $\{\Phi_e\}_e$. $\Sigma_e$ is a typo (fixed), which should be $W_e$. $PA$ stands for Peano Arithmetic. I am sorry for the ambiguities. | |
| Jan 15, 2020 at 10:27 | history | edited | Ruizhi Yang | CC BY-SA 4.0 |
added 135 characters in body
|
| Jan 15, 2020 at 8:00 | comment | added | Emil Jeřábek | I don’t understand the notation. What is $W_e$, $\Sigma_e$, and $PA^*$? | |
| Jan 15, 2020 at 6:30 | history | asked | Ruizhi Yang | CC BY-SA 4.0 |