Timeline for Compactness Theorem for First Order Logic
Current License: CC BY-SA 2.5
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 4 at 16:02 | history | edited | Joel David Hamkins |
edited tags
|
|
| Mar 2, 2011 at 16:42 | comment | added | Emil Jeřábek | Some people prefer to present math in a concise way where you have to stare at a half-page proof for half a day to figure it out, and some prefer to present it in a hairy way which reads like novel at the expense of blowing the proof of every triviality to ten pages. Boolos is firmly in the second category. | |
| Dec 24, 2010 at 21:04 | vote | accept | Eran | ||
| Nov 21, 2010 at 14:49 | answer | added | Sergei Tropanets | timeline score: 0 | |
| Nov 10, 2010 at 18:15 | answer | added | Michael Hardy | timeline score: 2 | |
| Nov 10, 2010 at 15:19 | answer | added | Buschi Sergio | timeline score: 1 | |
| Nov 10, 2010 at 0:20 | answer | added | Joel David Hamkins | timeline score: 19 | |
| Nov 9, 2010 at 23:59 | answer | added | Andrés E. Caicedo | timeline score: 4 | |
| Nov 9, 2010 at 23:47 | answer | added | Andreas Blass | timeline score: 10 | |
| Nov 9, 2010 at 23:20 | comment | added | Joel David Hamkins | See also this related MO question: mathoverflow.net/questions/9309/… | |
| Nov 9, 2010 at 22:37 | history | edited | David Roberts♦ | CC BY-SA 2.5 |
added 1 characters in body
|
| Nov 9, 2010 at 22:10 | answer | added | Pete L. Clark | timeline score: 5 | |
| Nov 9, 2010 at 21:47 | history | asked | Eran | CC BY-SA 2.5 |