Timeline for Boolean ultrapower of V[G] by G
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 4, 2018 at 16:13 | vote | accept | Zoorado | ||
| Jul 3, 2018 at 13:10 | comment | added | Dominic van der Zypen | Isn't it neat that on MathOverflow you can ask about a point that appears in a book - and your question gets answered by the author? (I have seen this in a few instances already.) | |
| Jul 2, 2018 at 18:18 | answer | added | Joel David Hamkins | timeline score: 11 | |
| Jun 29, 2018 at 14:04 | comment | added | Zoorado | Good catch! I cannot see how $\mathbb{B}$ can make itself remain complete in any non-trivial extension. So the completeness of $\mathbb{B}$ should be integral to the theorem. I am still trying to wrap my head around the intuition of all these though. | |
| Jun 29, 2018 at 13:57 | comment | added | Asaf Karagila♦ | Of course the answer is "no". | |
| Jun 29, 2018 at 12:09 | comment | added | Hanul Jeon | Does $\mathbb{B}$ remain complete after forcing? | |
| Jun 29, 2018 at 7:32 | history | asked | Zoorado | CC BY-SA 4.0 |