Timeline for Isomorphism of hyperreal fields viewed as extensions of the field of reals
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 6, 2020 at 19:28 | comment | added | Rahman. M | By the way, I don't think that the ultrapowers is inappropriate, I just do not prefer it to set theory as already mentioned. | |
| Aug 6, 2020 at 19:26 | comment | added | Rahman. M | I don't like to argue about things in MO! I just explain you the reason: The question asks explicitly if you can prove a certain thing in ZFC while we know that under the failure of CH the answer is positive. There are certain properties of ultra-filters which are independent from ZFC. In particular an answer may show that there are something combinatotial behind the curation, and the concept of ultrapower is just an instance! This why I prefer set-theory to ultrapowers in such question. | |
| Aug 6, 2020 at 17:31 | comment | added | Pierre-Yves Gaillard | Rahman. M replaced the tag ultrapowers with set-theory. I rejected the edit because the question asks if certain pairs of ultrapowers are isomorphic. If I had to keep just one tag, I would choose this one. It seems to me the other tags I picked give a more precise idea of the question than the set-theory tag. If you think the ultrapowers tag is inappropriate, thanks for telling me why. | |
| S Aug 6, 2020 at 17:31 | history | rollback | Pierre-Yves Gaillard |
Rollback to Revision 1 - Edit approval overridden by post owner or moderator
|
|
| Aug 6, 2020 at 16:14 | history | suggested | Rahman. M |
"set-theory" added to the tags.
|
|
| Aug 6, 2020 at 15:23 | review | Suggested edits | |||
| S Aug 6, 2020 at 17:31 | |||||
| Aug 5, 2020 at 12:46 | history | asked | Pierre-Yves Gaillard | CC BY-SA 4.0 |