Timeline for Understanding descending intersections of generic extensions
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 7, 2022 at 10:42 | vote | accept | Ur Ya'ar | ||
| Jul 3, 2022 at 19:28 | answer | added | Ur Ya'ar | timeline score: 3 | |
| Jun 29, 2022 at 20:50 | comment | added | Ur Ya'ar | By the way I don't know what is the "separative part" of a poset, I've only encountered the "separative quotient". I wonder if it's a miss-translation. The original says " le séparé de l'ensemble $B^*$ est isomorphe $B_\kappa^+$". Any french set-theorists around? | |
| Jun 27, 2022 at 9:32 | comment | added | Ur Ya'ar | So after digging a bit more on Google scholar I managed to find a note by Sakarovitch summarizing the results, which is even in the public domain (although still in French) - gallica.bnf.fr/ark:/12148/bpt6k5619035q/f13.item | |
| Jun 23, 2022 at 9:51 | comment | added | Ur Ya'ar | @AsafKaragila Direct limit here is $<\kappa$-support if I'm not mistaken. And about Grigorief's theorem then yes, that's the source, but I'm more interested in the concrete characterization of Sakarovitch (or any similar analysis in the distributive case) | |
| Jun 23, 2022 at 8:56 | comment | added | Asaf Karagila♦ | Also, the result of Grigorieff should probably be in his paper about intermediate models of ZF set theory from 1975 (Annals of Mathematics). | |
| Jun 23, 2022 at 8:46 | comment | added | Asaf Karagila♦ | When you say "direct limit", in what sense do you mean this? (I've always found this terminology confusing when it comes to iterations; we have a notion of supports, just tell me the ideal/support system you're using.) | |
| Jun 23, 2022 at 7:44 | history | edited | Ur Ya'ar | CC BY-SA 4.0 |
added the $\kappa$-distributive assumption
|
| Jun 23, 2022 at 7:43 | comment | added | Ur Ya'ar | @AndreasLietz yes ofcourse, in my head I was still under that assumption which is present in Sakarovitch's characterization. I'll add it. | |
| Jun 21, 2022 at 21:47 | comment | added | Andreas Lietz | Regarding your edit: You need to additionally assume that $P_0$ is $\kappa$-distrubutive. Otherwise the intersection can differ from $V$. | |
| Jun 17, 2022 at 12:01 | history | edited | Ur Ya'ar | CC BY-SA 4.0 |
added 277 characters in body
|
| Jun 17, 2022 at 10:35 | history | asked | Ur Ya'ar | CC BY-SA 4.0 |