Timeline for Bounded-variable logic: "fewer than $\alpha$ variables" equivalent to "every subformula has fewer than $\alpha$ free variables"?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 18, 2010 at 20:13 | comment | added | Joel David Hamkins | Thanks for the kind remark and for accepting my answer. Unfortunately, I don't really know of any references for you, however, but perhaps someone else can post something here... | |
| May 18, 2010 at 20:06 | comment | added | Adam | Thank you once again! I particularly appreciate the simple and clear example at the end of your answer. Can you perhaps recommend some reading on how the number-of-variables parameter interacts with the conjunction-cardinality and quantification-cardinality parameters of infinitary logic? I've found plenty of reading on how the latter two interact, and a few sources on bounded-variable subsets of first-order logic, but haven't had much luck finding material that covers both of them. | |
| May 18, 2010 at 20:01 | vote | accept | Adam | ||
| May 18, 2010 at 18:08 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |