Timeline for first-order definability transitive closure operator
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 16, 2013 at 20:41 | comment | added | Joel David Hamkins | Thanks, François, for fixing this error from long ago; and I apologize for the misspelling. | |
| Mar 16, 2013 at 20:35 | history | edited | François G. Dorais | CC BY-SA 3.0 |
typo
|
| Jan 21, 2010 at 19:00 | comment | added | Joel David Hamkins | Thanks for the kind remark! I'm glad to hear that you found the answer helpful. | |
| Jan 21, 2010 at 18:47 | vote | accept | Adam | ||
| Jan 21, 2010 at 18:46 | vote | accept | Adam | ||
| Jan 21, 2010 at 18:46 | |||||
| Jan 21, 2010 at 18:46 | comment | added | Adam | Wow, absolutely magnificent. Thank you for (1) stating with total clarity the question I was having such trouble formulating and (2) answering it in a completely satisfying and general manner. | |
| Jan 20, 2010 at 11:58 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
fixed typo
|
| Jan 20, 2010 at 11:45 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |