Timeline for Can an ultrapower be undone by forcing?
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 18, 2022 at 19:08 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 1 character in body
|
| Sep 28, 2022 at 18:46 | comment | added | Noah Schweber | @JoelDavidHamkins Whoops, just saw this - fixed, thanks! | |
| Sep 28, 2022 at 18:46 | history | edited | Noah Schweber | CC BY-SA 4.0 |
deleted 8 characters in body
|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jan 15, 2017 at 11:14 | comment | added | Joel David Hamkins | I think there may be a mistake in the url of your link for the class forcing question. Probably you meant this one: mathoverflow.net/q/259628/1946. | |
| Jan 15, 2017 at 3:23 | history | edited | Noah Schweber | CC BY-SA 3.0 |
deleted 38 characters in body
|
| Jan 15, 2017 at 3:17 | vote | accept | Noah Schweber | ||
| Dec 26, 2015 at 22:54 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 225 characters in body
|
| Dec 26, 2015 at 22:49 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 225 characters in body
|
| Dec 26, 2015 at 22:41 | answer | added | Danielle Ulrich | timeline score: 16 | |
| Dec 26, 2015 at 22:18 | comment | added | Noah Schweber | @AsafKaragila It's not obvious to me, though, what the exact connection is; for instance, $\omega_1$ can be generically measurable, clearly never potentially measurable. (I suspect there is a connection in consistency strengths, but I don't quite see it.) | |
| Dec 26, 2015 at 21:29 | comment | added | Asaf Karagila♦ | The term "$\kappa$ is generically measurable" means that you can find a generic ultrapower embedding [into a transitive class] with $\kappa$ as a critical point. It just seemed relevant here. | |
| Dec 26, 2015 at 20:53 | history | asked | Noah Schweber | CC BY-SA 3.0 |