Timeline for Are there examples of statements that have been proven whose consistency proofs came before their proofs?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 27, 2018 at 2:19 | history | edited | Ali Enayat | CC BY-SA 3.0 |
corrected spelling
|
| Jul 19, 2013 at 15:58 | comment | added | Harry Altman | Abstract link for the Laver paper: arxiv.org/abs/math/9204203v1 | |
| Jul 28, 2011 at 4:44 | vote | accept | Chris Jerdonek | ||
| Jul 25, 2011 at 20:45 | history | edited | Ali Enayat | CC BY-SA 3.0 |
minor
|
| Jul 25, 2011 at 20:35 | comment | added | Joel David Hamkins | There are a large number of results having the type of (2), namely, where a statement is first known from a very large cardinal, and then established from a much weaker large cardinal, which is then proved optimal. | |
| Jul 25, 2011 at 20:28 | history | answered | Ali Enayat | CC BY-SA 3.0 |