Timeline for Semantic definition of sentence
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jun 30, 2011 at 15:59 | comment | added | Gyorgy Sereny | I do not think that compactness in logic is a purely semantic notion. True, it is its semantic version which is nontrivial. That is why the semantic version is the one that is used widely. On the other hand, in logic, the notion itself, in a sense, is of syntactic origin. Actually, the usual way to infer the Compactness Theorem from the Completeness is to use the (trivial) syntactic version of compactness: a theory is consistent iff its every finite subset is consistent. | |
| Jun 30, 2011 at 15:55 | vote | accept | David Harris | ||
| Jun 30, 2011 at 15:46 | history | edited | François G. Dorais |
edited tags
|
|
| Jun 30, 2011 at 15:41 | answer | added | François G. Dorais | timeline score: 7 | |
| Jun 30, 2011 at 15:13 | answer | added | Andreas Blass | timeline score: 7 | |
| Jun 30, 2011 at 14:37 | history | asked | David Harris | CC BY-SA 3.0 |