Timeline for Automorphisms of $\mathbb{C}$
Current License: CC BY-SA 3.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 6, 2012 at 11:09 | comment | added | Emil Jeřábek | Axiom of determinacy, whose consistency requires some pretty large cardinals, is an overkill. $|\mathrm{Aut}(\mathbb C)|=2$ is in fact relatively consistent with ZF (with no large cardinal assumptions), since it follows from ZF + DC + “every set of reals has the property of Baire”. | |
Apr 6, 2012 at 1:16 | history | answered | Pat Devlin | CC BY-SA 3.0 |