Timeline for What "metatheory" did early set theory/logic researchers use to prove semantic results?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 16, 2018 at 11:31 | comment | added | Mauro ALLEGRANZA | Also, in the fundamental proof, he says : "it follows by familiar arguments" alluding apparently to König's infinity lemma (1926). | |
| Apr 16, 2018 at 11:29 | comment | added | Mauro ALLEGRANZA | It is worth noting that in footnote 4 Gödel says : "To be more precise, we should say "valid in every domain of individuals", which, according to well-known theorems [alluding to Skolem-Löwenheim resusts], means the same as "valid in the denumerable domain of individuals"." | |
| Apr 16, 2018 at 0:19 | history | answered | Timothy Chow | CC BY-SA 3.0 |