Timeline for Model existence and consistency conditions for $\Pi_1^0$ oracles
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 22, 2016 at 8:53 | vote | accept | Thomas Klimpel | ||
| Jun 20, 2016 at 17:47 | answer | added | Noah Schweber | timeline score: 4 | |
| Jun 19, 2016 at 18:31 | comment | added | Thomas Klimpel | The reasoning for the last two statements is actually not so meta-level after all. If (TM1 halts and TM2 halts) implies that TM3 halts, then Q1 must predict that TM3 halts, if it predicts that both TM1 and TM2 halt. Similarly, if TM4 halts exactly if TM5 halts, then Q1 must predict that TM5 halts, if it predicts that TM4 halts. The only thing required from the meta-level is the proof of those implications (with respect to consistency of first order theories). And PRA should be strong enough to prove those implications. | |
| Jun 19, 2016 at 15:30 | history | asked | Thomas Klimpel | CC BY-SA 3.0 |