Timeline for Why should I believe Martin's Maximum++?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 31 at 17:59 | comment | added | Ember Edison |
Erm, allow me to summarise the defence of $\sf MM$ in the paper. 1. M-fair: an interpretation is "fair" just in case it is a definable inner model of the base theory. 2. M-Max. 3. If UL conjecture + INEC hold, $\sf MM$ strictly M-maxes over UL. 4. $\sf V≠UL$ strictly M-maxes over $\sf V=UL$. 5.$\sf MM$ nor any of its paradigmatic consequences play any direct role in establishing the maximality result. 6. M-Max is not just a justification of $\sf MM$, it can also be a justification of a third route, such as cardinal characteristics of the continuum. 7.Challenges to M-fari itself.
|
|
| May 31 at 15:45 | history | edited | Timothy Chow | CC BY-SA 4.0 |
Added a summary of Schatz's thesis
|
| May 31 at 15:35 | history | answered | Timothy Chow | CC BY-SA 4.0 |