Timeline for When can we add choice to a model of ZF
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 8 at 21:27 | comment | added | Asaf Karagila♦ | @Gro-Tsen: See (5) in my answer for that. | |
| Oct 8 at 21:20 | comment | added | Dmytro Taranovsky | @Gro-Tsen Countability is used to ensure that generic sets for M exist in V; otherwise existence of generics would not be a first order property. | |
| Oct 8 at 21:07 | comment | added | Gro-Tsen | Probably stupid question: what happens in your question if we replace “countable transitive model” by just “transitive model”? Is there a statement $\tau$ such that a transitive model $M$ of ZF satisfies $\tau$ iff there is a transitive model $N$ of ZFC containing $M$ with the same ordinal height as $M$? Did you add “countable” because the answer without “countable” is trivial (I don't see it)? | |
| Oct 2 at 8:03 | history | became hot network question | |||
| Oct 2 at 7:02 | answer | added | Asaf Karagila♦ | timeline score: 13 | |
| Oct 1 at 23:58 | history | asked | Dmytro Taranovsky | CC BY-SA 4.0 |