Timeline for A question on the provability predicate of Q
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 17, 2016 at 17:01 | vote | accept | Frode Alfson Bjørdal | ||
| Mar 17, 2016 at 13:42 | answer | added | Carl Mummert | timeline score: 3 | |
| Mar 15, 2016 at 3:10 | comment | added | Frode Alfson Bjørdal | My question concerns the behaviour of Q's provability predicate. | |
| Mar 15, 2016 at 3:01 | comment | added | Christian Remling | The incompleteness of $Q$ is trivial since you can give many concrete examples of true in $\omega$ statements that $Q$ doesn't prove. | |
| Mar 15, 2016 at 3:01 | history | edited | Frode Alfson Bjørdal | CC BY-SA 3.0 |
added 1 character in body
|
| Mar 15, 2016 at 2:51 | history | asked | Frode Alfson Bjørdal | CC BY-SA 3.0 |