Timeline for Using Lindstrom's theorem to prove Craig interpolation
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
| Feb 5, 2013 at 12:51 | comment | added | Emil Jeřábek | Anyway, this is an interesting question. | |
| Feb 5, 2013 at 12:49 | comment | added | Emil Jeřábek | As I already mentioned on MSE, while Wikipedia is correct, your much more restricted version of Beth’s theorem is trivial, as you can construct $\psi$ by substituting all the extra predicates with arbitrarily chosen $\Sigma_0$-formulas. It is essential to state the theorem relative to models of some $\Sigma$-theory. | |
| Jan 29, 2013 at 22:38 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 423 characters in body
|
| Jan 26, 2013 at 23:31 | history | asked | Noah Schweber | CC BY-SA 3.0 |