Skip to main content

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