Timeline for A question regarding a fragment of Robinson Arithmetic
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 16, 2015 at 1:29 | comment | added | Fan Zheng | I am highly suspect that such a weak system even has a proof predicate. | |
| Dec 16, 2015 at 1:18 | comment | added | Thomas Benjamin | Thanks (also to SJR who had the original idea). Question: How do you show that the consistency of this fragment of Robinson Arithmetic cannot be proven in this fragment of Robinson Arithmetic (seeing as how it cannot represent the recursive functions)? | |
| Dec 16, 2015 at 1:08 | vote | accept | Thomas Benjamin | ||
| Dec 14, 2015 at 15:00 | history | answered | Fan Zheng | CC BY-SA 3.0 |