Timeline for Are there natural examples of mathematical statements which follow from consistency statements?
Current License: CC BY-SA 2.5
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Jul 16, 2010 at 1:44 | comment | added | Joel David Hamkins | This question mathoverflow.net/questions/26411/… is also related, in that it inquires about adding less than Con(T) to T (but no naturality requirement). | |
| Jul 16, 2010 at 1:39 | comment | added | Joel David Hamkins | You may be interesed in this related question: mathoverflow.net/questions/12865/… | |
| Jul 16, 2010 at 0:26 | answer | added | Joel David Hamkins | timeline score: 18 | |
| Jul 16, 2010 at 0:21 | answer | added | François G. Dorais | timeline score: 7 | |
| Jul 16, 2010 at 0:20 | comment | added | Charles Staats | I've been told that the consistency of ZFC can be used to give a construction of the Rado graph (the "unique" countably infinite random graph), but there are many other constructions that do not require this. | |
| Jul 16, 2010 at 0:07 | answer | added | Timothy Chow | timeline score: 6 | |
| Jul 15, 2010 at 23:46 | history | asked | Kaveh | CC BY-SA 2.5 |