Timeline for Can an ultrapower be undone by forcing?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 15, 2017 at 3:17 | vote | accept | Noah Schweber | ||
| Dec 27, 2015 at 0:25 | comment | added | Joel David Hamkins | And incidentally, theorem 10 of the paper applies to many class forcing extensions. So you cannot "undo" an ultrapower by forcing that is eventually stationarily correct at sufficiently large regular cardinals. | |
| Dec 26, 2015 at 23:51 | comment | added | Joel David Hamkins | Thanks for mentioning our paper! I added fuller reference information. | |
| Dec 26, 2015 at 23:50 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
Added bib reference for the article
|
| Dec 26, 2015 at 22:51 | history | edited | Danielle Ulrich | CC BY-SA 3.0 |
I clarified the quoted paper proves several other results than the one I mentioned
|
| Dec 26, 2015 at 22:46 | comment | added | Noah Schweber | Excellent! I'm still interested in the situation with class forcing (and I'm kicking myself a bit; I read that paper recently, and I just didn't make the connection :P). | |
| Dec 26, 2015 at 22:41 | history | answered | Danielle Ulrich | CC BY-SA 3.0 |