Timeline for first-order definability transitive closure operator
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 22, 2010 at 3:25 | history | edited | Mike Shulman | CC BY-SA 2.5 |
variables are terms.
|
| Jun 22, 2010 at 3:24 | comment | added | Mike Shulman | You're absolutely right. | |
| Jun 21, 2010 at 11:05 | comment | added | Carl Mummert | In the usual definitions, a variable is a term. I think you mean that the signature has no function symbols (no "term-forming operations"). | |
| Jan 20, 2010 at 5:37 | history | answered | Mike Shulman | CC BY-SA 2.5 |