Timeline for Gödel's Constructible Universe in Infinitary Logics (A Possible Approach to HOD Problem)
Current License: CC BY-SA 3.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Mar 17, 2014 at 21:26 | history | suggested | Martin Berger | CC BY-SA 3.0 |
Spelled K. Gödel's name properly.
|
| Mar 17, 2014 at 21:15 | review | Suggested edits | |||
| S Mar 17, 2014 at 21:26 | |||||
| Feb 7, 2014 at 19:16 | history | edited | user46667 | CC BY-SA 3.0 |
deleted 1 characters in body
|
| Feb 7, 2014 at 18:50 | vote | accept | CommunityBot | ||
| Feb 7, 2014 at 17:31 | history | edited | user46667 | CC BY-SA 3.0 |
added 33 characters in body
|
| Feb 7, 2014 at 17:03 | history | edited | user46667 | CC BY-SA 3.0 |
added 23 characters in body
|
| Feb 7, 2014 at 16:44 | history | edited | user46667 | CC BY-SA 3.0 |
added 6 characters in body
|
| Feb 7, 2014 at 16:32 | comment | added | Asaf Karagila♦ | You might find the recent work of Kennedy-Magidor-Vannanen interesting, by the way. They talk about generalized constructions using various quantifiers rather than infinitary logic. | |
| Feb 7, 2014 at 16:26 | history | edited | user46667 | CC BY-SA 3.0 |
added 1116 characters in body; edited tags; edited title
|
| Feb 7, 2014 at 14:29 | history | edited | Qfwfq | CC BY-SA 3.0 |
(typos)
|
| Feb 7, 2014 at 13:48 | answer | added | Joel David Hamkins | timeline score: 18 | |
| Feb 7, 2014 at 12:48 | review | First posts | |||
| Feb 7, 2014 at 12:49 | |||||
| Feb 7, 2014 at 12:29 | history | asked | user46667 | CC BY-SA 3.0 |