Timeline for Infinitary reasoning in Godel's Completeness Proof
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 18, 2019 at 3:24 | vote | accept | Mallik | ||
| Jul 18, 2019 at 3:04 | comment | added | Mallik | @AlexKruckman Godel says before the quote above: "The completeness theorem, mathematically, is indeed an almost trivial consequence of Skolem 1922." Goldfarb and Wang corroborate this. Skolem 1922 is "Some Remarks on Axiomatized Set Theory" in From Frege to Godel. | |
| Jul 18, 2019 at 3:04 | answer | added | Noah Schweber | timeline score: 9 | |
| Jul 17, 2019 at 23:53 | comment | added | Alex Kruckman | Can you give a more precise reference for "Skolem 1922" and for the claim that the completeness theorem is a straightforward consequence? | |
| Jul 17, 2019 at 22:56 | history | asked | Mallik | CC BY-SA 4.0 |