Skip to main content
4 events
when toggle format what by license comment
Apr 16, 2021 at 17:55 comment added Harry Altman Oh, wow! I never noticed that before!
Apr 16, 2021 at 15:03 comment added Emil Jeřábek @HarryAltman That’s not the only error, though. It is also not true that every complete ordered field has to include $\mathbb R$ (e.g., consider the Hahn series field $\mathbb Q[[t^{\mathbb Z}]]$, which, incidentally, is sequential).
Jan 15, 2013 at 1:50 comment added Harry Altman I wouldn't say its "nonsense" -- there's a perfectly sensible notion of "completeness" and "completion" for ordered fields. It just isn't detectable via sequences in general; I'd say that's the real error here.
Jan 14, 2013 at 16:10 history answered Gro-Tsen CC BY-SA 3.0