Timeline for answer to Connection between the axiom of universes and Tarski's axiom by Joel David Hamkins
Current License: CC BY-SA 4.0
Post Revisions
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 7, 2021 at 20:42 | comment | added | Asaf Karagila♦ | Who am I to contradict Solovay, but it really comes down to how you define inaccessible cardinals, but arguably the correct definition is "$V_\kappa$ is a model of 2nd order ZF". In that case TG does not imply AC. | |
| May 7, 2021 at 20:41 | history | edited | Asaf Karagila♦ | CC BY-SA 4.0 |
added 7 characters in body
|
| Jun 16, 2010 at 15:43 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |