Timeline for Does existence of those cyclic cardinals imply a kind of Choice?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jan 17, 2022 at 3:02 | history | suggested | CommunityBot | CC BY-SA 4.0 |
lower case is needed here
|
| Jan 17, 2022 at 2:27 | review | Suggested edits | |||
| S Jan 17, 2022 at 3:02 | |||||
| Jan 16, 2022 at 15:28 | comment | added | Zuhair Al-Johar | @Wojowu, that's what I thought also. I've added the context of this question, which is Asaf's answer to my question about structures, but that question was in $\sf ZF$, and this goes beyond it, so I'm not sure if this can manage to avoid choice? | |
| Jan 16, 2022 at 13:28 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
edited body
|
| Jan 16, 2022 at 13:22 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 298 characters in body
|
| Jan 16, 2022 at 13:01 | comment | added | Wojowu | My guess would be that any model of ZF is a well-founded part of some model of ZF-Fnd satisfying your new axiom. So no, it probably doesn't imply any amount of choice. | |
| Jan 16, 2022 at 12:32 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
edited body
|
| Jan 16, 2022 at 12:23 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |