Timeline for Consistency strength of the existence of a transitive model of $\mathsf{ZFC}^-$ with a $\kappa$-complete ultrafilter
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 7, 2018 at 11:21 | vote | accept | Hanul Jeon | ||
| Mar 7, 2018 at 11:06 | comment | added | Hanul Jeon | @VictoriaGitman I did not consider them when I wrote the question, but do not matter about it. | |
| Mar 6, 2018 at 19:39 | answer | added | Victoria Gitman | timeline score: 11 | |
| Mar 6, 2018 at 16:33 | comment | added | Victoria Gitman | Do you require that the ultrapower is well-founded? Also, do you want $M$ to satisfy that the ultrafilter is normal? | |
| Mar 6, 2018 at 11:35 | history | asked | Hanul Jeon | CC BY-SA 3.0 |