Timeline for what axioms are between AC and Countable choice !
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 14, 2013 at 18:51 | vote | accept | CommunityBot | ||
| Jan 4, 2013 at 20:47 | history | edited | Asaf Karagila♦ |
edited tags
|
|
| Jan 4, 2013 at 20:47 | answer | added | Goldstern | timeline score: 2 | |
| Jan 4, 2013 at 20:47 | answer | added | Asaf Karagila♦ | timeline score: 6 | |
| Jan 4, 2013 at 20:46 | comment | added | Goldstern | What do you need this information for? Do you have a specific theorem that follows from ZFC but not from ZF+Countable choice? | |
| Jan 4, 2013 at 20:13 | history | asked | user30402 | CC BY-SA 3.0 |