Timeline for Compactness Theorem for First Order Logic
Current License: CC BY-SA 2.5
11 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/
|
|
| Nov 10, 2010 at 18:37 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
ultrapower --> ultraproduct
|
| Nov 10, 2010 at 18:36 | comment | added | Joel David Hamkins | Yes, I'll edit. | |
| Nov 10, 2010 at 18:03 | comment | added | Michael Hardy | "Ultraproduct" rather than "ultrapower" is the term I'd have used in this case, since the factors are not all equal. | |
| Nov 10, 2010 at 14:44 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
corrected error with "consistent"
|
| Nov 10, 2010 at 10:36 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
Corrected an error with the Skolem functions
|
| Nov 10, 2010 at 1:09 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
added 1 characters in body
|
| Nov 10, 2010 at 1:07 | comment | added | Joel David Hamkins | It must have been the early 90s. Henkin spoke on his dissertation results, which consisted of three chapters, one of them containing his famous proof of Completeness. I recall that he was particularly intent on communicating the other chapters---he said they were not as well remembered. (But alas, I cannot now recall exactly what they were about!) | |
| Nov 10, 2010 at 0:46 | comment | added | Andrés E. Caicedo | Hmm... Probably read it: Leon Henkin, "The Discovery of My Completeness Proofs", The Bulletin of Symbolic Logic 2 (1996), 127-158. | |
| Nov 10, 2010 at 0:39 | comment | added | Andrés E. Caicedo | Hehe. Do you remember (roughly) the year of Henkin's talk? I remember what you say there, but probably I read it somewhere; I do not think you and I ever coincided at a Logic Colloquium. | |
| Nov 10, 2010 at 0:20 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |