Timeline for What "metatheory" did early set theory/logic researchers use to prove semantic results?
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 20, 2018 at 11:14 | vote | accept | Mike Battaglia | ||
| Apr 16, 2018 at 9:44 | answer | added | godelian | timeline score: 9 | |
| S Apr 16, 2018 at 9:39 | history | suggested | psmears | CC BY-SA 3.0 |
Improve wording and grammar
|
| Apr 16, 2018 at 9:36 | answer | added | Thomas Klimpel | timeline score: 8 | |
| Apr 16, 2018 at 9:11 | review | Suggested edits | |||
| S Apr 16, 2018 at 9:39 | |||||
| Apr 16, 2018 at 0:19 | answer | added | Timothy Chow | timeline score: 25 | |
| Apr 15, 2018 at 22:26 | answer | added | Peter LeFanu Lumsdaine | timeline score: 34 | |
| Apr 15, 2018 at 22:25 | history | edited | Mike Battaglia | CC BY-SA 3.0 |
added 8 characters in body
|
| Apr 15, 2018 at 22:03 | comment | added | Wojowu | This is tangential and doesn't answer the main question, but I wanted to remark the discussion of models of ZFC can be fully done in ZFC itself - we won't be able to prove that they exist, but we can still formulate results like "if ZFC is consistent it has a countable model". | |
| Apr 15, 2018 at 21:58 | history | edited | Mike Battaglia | CC BY-SA 3.0 |
added 4 characters in body
|
| Apr 15, 2018 at 21:48 | history | asked | Mike Battaglia | CC BY-SA 3.0 |