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
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 28, 2011 at 4:44 | comment | added | Chris Jerdonek | Joel, I unselected your answer based on Ali's comment above and the fact that you agree with it. Thanks for your feedback! | |
| Jul 25, 2011 at 20:26 | comment | added | Joel David Hamkins | Ali, I think you are right. | |
| Jul 25, 2011 at 20:07 | comment | added | Chris Jerdonek | This makes me wonder if there are also examples of statements that were proved first by assuming the negation of GCH (or better yet, as you say, trivial under the assumption). This could also be asked for the other examples provided. | |
| Jul 25, 2011 at 19:50 | comment | added | Ali Enayat | @Joel: while I admire the technical depth of Shelah's theorem, I find it misleading to cite it as an example of a statement whose consistency was known before its proof because I doubt that the inequality $2^{\aleph_{\omega}} < \aleph_{\omega_4}$ was ever written down in any mathematical work prior to the appearance of Shelah's theorem. | |
| Jul 25, 2011 at 17:46 | vote | accept | Chris Jerdonek | ||
| Jul 26, 2011 at 4:05 | |||||
| Jul 25, 2011 at 11:49 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 2 characters in body
|
| Jul 25, 2011 at 11:44 | history | edited | Andreas Blass | CC BY-SA 3.0 |
replaced CH with GCH as the source of consistency
|
| Jul 25, 2011 at 10:03 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |