Timeline for Is there a compendium of the consistency strength between the most important formal theories?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jun 11, 2019 at 21:36 | history | suggested | Glorfindel | CC BY-SA 4.0 |
broken images fixed (click 'rendered output' or 'side-by-side' to see the difference; images retrieved via Wayback Machine); for more info, see https://meta.mathoverflow.net/a/4058/70594
|
| Jun 11, 2019 at 20:29 | review | Suggested edits | |||
| S Jun 11, 2019 at 21:36 | |||||
| Aug 29, 2018 at 19:03 | comment | added | Leo Wattenberg | Two of the embedded images return 404's. | |
| Mar 10, 2017 at 9:42 | history | edited | CommunityBot |
replaced http://boolesrings.org/ with https://boolesrings.org/
|
|
| Feb 10, 2015 at 7:05 | vote | accept | Jonathan Julian | ||
| Jan 22, 2015 at 22:16 | comment | added | Ali Enayat | Jonathan: for an diagram of the consistenct/interpretability hierarchy that also includes arithmetical theories, see the last page of Harvey Friedman's Interpretations according to Tarski, available at the link u.osu.edu/friedman.8/files/2014/01/Tarski1052407-13do0b2.pdf | |
| Jan 22, 2015 at 4:38 | comment | added | Jonathan Julian | Thank you for the nice references and the reminder of Cantor's Attic. I think I looked at it once when I found your website/blog and possibly I got the idea of this recopilation from it. I met Victoria last week in London and she told me a friend of hers is working in a diagram like the one I ask for (though I think just in relation to Set Theory and not other branches in the Foundations of Mathematics). Do you know if there is a similar project in relation to Arithmetic? Possibly having ZFC in the top of the hierarchy? That way it is just a matter of connecting both compilations. | |
| Jan 22, 2015 at 2:20 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 314 characters in body
|
| Jan 22, 2015 at 2:02 | comment | added | Joel David Hamkins | Can anyone explain to me how to make the images a little smaller? | |
| Jan 22, 2015 at 1:49 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 240 characters in body
|
| Jan 22, 2015 at 1:43 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |