Timeline for Uniform solutions to Post's problem for axiomatizable theories
Current License: CC BY-SA 2.5
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 2, 2010 at 19:58 | comment | added | Joel David Hamkins | I have deleted my earlier comments, which pointed out a flaw in the original answer, because the issue has been completely addressed in the revised answer. | |
| Jun 1, 2010 at 10:51 | vote | accept | François G. Dorais | ||
| Jun 1, 2010 at 5:06 | comment | added | Joel David Hamkins | Great ! | |
| Jun 1, 2010 at 4:41 | comment | added | Carl Mummert | I was afraid I had extra negation symbols; the code started to blur together in my browser, but I thought I had double-checked them. They should be fixed now. | |
| Jun 1, 2010 at 4:26 | history | edited | Carl Mummert | CC BY-SA 2.5 |
small tweaks
|
| May 31, 2010 at 3:29 | comment | added | Carl Mummert | Thanks; I see my blind spot now. I rewrote the answer above. | |
| May 31, 2010 at 3:26 | history | edited | Carl Mummert | CC BY-SA 2.5 |
rewrite
|
| May 30, 2010 at 20:58 | history | edited | Carl Mummert | CC BY-SA 2.5 |
note on my implicit assumption
|
| May 30, 2010 at 3:40 | comment | added | François G. Dorais | That was blazing fast Carl! Any thoughts on #2? | |
| May 30, 2010 at 3:10 | history | answered | Carl Mummert | CC BY-SA 2.5 |