Timeline for Is adding all sentences true of terms in skolemized theory conservative?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 30, 2021 at 19:14 | history | edited | user21820 | CC BY-SA 4.0 |
added 2 characters in body
|
| Oct 16, 2021 at 13:26 | vote | accept | Peter Gerdes | ||
| Oct 13, 2021 at 16:33 | answer | added | Peter Gerdes | timeline score: 2 | |
| Oct 13, 2021 at 16:16 | comment | added | Peter Gerdes | Ahh, excelent! thanks! | |
| Oct 13, 2021 at 4:54 | comment | added | Emil Jeřábek | In fact, $T'=T_S$: take for $t$ the Skolem term witnessing the tautology $\exists y\,(\phi(y)\to\forall x\,\phi(x))$. | |
| Oct 13, 2021 at 0:49 | history | asked | Peter Gerdes | CC BY-SA 4.0 |