Timeline for Fine structure without choice
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 14 at 16:51 | comment | added | Dmytro Taranovsky | @AsafKaragila Reinhardt cardinals are for motivation rather than a one-day answer. But maybe supercompact cardinals already have certain anti-inner-model behavior, making AC fail in fine-structural models for them. And choiceless (AD) models are already crucial at the level of Woodin cardinals, and an answer might say more about how adding extenders in a canonical manner can lead (without forcing) to models of AD, including the examples given. Or perhaps choiceless fine structure is already used somewhere else I overlooked. | |
| Oct 14 at 6:35 | comment | added | Asaf Karagila♦ | You're going as far as Reinhardt cardinals? Maybe we can first get fine structural models for supercompact or extendible cardinals with choice? | |
| Oct 13 at 23:47 | history | edited | LSpice | CC BY-SA 4.0 |
Link to article; TeX
|
| Oct 13 at 23:31 | history | asked | Dmytro Taranovsky | CC BY-SA 4.0 |