Timeline for A "Completion" of $ZFC^-$
Current License: CC BY-SA 3.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 12, 2016 at 19:54 | comment | added | Emil Jeřábek | All right, if you are happy with it, so much the better. | |
Dec 12, 2016 at 18:54 | comment | added | Danielle Ulrich | Q1 and Q3 are resolved by this also: defining "large cardinal axioms" amounts to picking a certain subset of $\Gamma$, and so we can apply your proposition. | |
Dec 12, 2016 at 18:49 | vote | accept | Danielle Ulrich | ||
Dec 12, 2016 at 15:21 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |