Timeline for When do two ultrafilters yield isomorphic ultrapowers?
Current License: CC BY-SA 4.0
17 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 10, 2020 at 13:32 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
deleted 16 characters in body
|
| Aug 10, 2020 at 3:04 | comment | added | Gabe Goldberg | @AliEnayat Thanks! Apparently the theorem was also proved by Frolík | |
| Aug 10, 2020 at 3:01 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 5 characters in body
|
| Aug 9, 2020 at 4:27 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 41 characters in body
|
| Aug 9, 2020 at 1:24 | comment | added | Ali Enayat | Two minor comments: (1) In the penultimate sentence of the last paragraph $=[\mathrm{id}]_{\mathcal{W}}$ is missing at the end of the sentence. (2) The result attributed in the first paragraph to Rudin and others was also proved in 1967 by Miroslav Katětov in the paper accessible through: dml.cz/handle/10338.dmlcz/105124 | |
| Aug 8, 2020 at 15:48 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 10 characters in body
|
| Aug 8, 2020 at 15:02 | comment | added | Gabe Goldberg | @AndrésE.Caicedo: Thanks for getting me to write the details. There is an interesting technical problem here: one can prove (schematically) in ZF that if $j_0,j_1 : V\to M$ are definable elementary embeddings, then $j_0\restriction \text{Ord} = j_1\restriction \text{Ord}$ (even if $M$ is illfounded). Yet I do not see how to prove that if $j_0,j_1 : V\to M$ are (isomorphic to) ultrapower embeddings, then $j_0\restriction \text{Ord} = j_1\restriction \text{Ord}$ without assuming the HOD Conjecture. | |
| Aug 8, 2020 at 14:56 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 292 characters in body
|
| Aug 8, 2020 at 14:54 | comment | added | Andrés E. Caicedo | Thanks! :-)${}$ | |
| Aug 8, 2020 at 14:35 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 292 characters in body
|
| Aug 7, 2020 at 5:41 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
edited body
|
| Aug 7, 2020 at 5:36 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
edited body
|
| Aug 7, 2020 at 5:23 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 3374 characters in body
|
| Aug 7, 2020 at 2:05 | comment | added | Andrés E. Caicedo | Request${{{}}}$ | |
| Aug 7, 2020 at 1:13 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 238 characters in body
|
| Aug 7, 2020 at 0:29 | vote | accept | tomasz | ||
| Aug 6, 2020 at 23:57 | history | answered | Gabe Goldberg | CC BY-SA 4.0 |