sudgylacmoe | All Complete Ordered Fields Are Isomorphic @sudgylacmoe | Uploaded July 2023 | Updated October 2024, 1 hour ago.
In this short, I show a sketch of the construction of the isomorphism between two complete ordered fields, showing that it makes sense to consider the real numbers as being "the" complete ordered field. It's something that I don't see described that often, but I think it's pretty cool.

Discord: discord.gg/3Zj59zA2Rg

Patreon: patreon.com/sudgylacmoe

Patreon Supporters:
Christoph Kovacs
David Johnston
Jason Killian
LoganMP
Richard Penner
Rosario