The isomorphism between two complete ordered fields is unique.
Does my attempt look fine or contain logical flaws/gaps? Any suggestion is greatly appreciated. Thank you for your help!
My attempt:
Let $\mathfrak{R}=\langle \Bbb R,<,+,\cdot,0,1 \rangle,\mathfrak{A}=\langle A,\prec,\oplus,\odot,0',1' \rangle$ be complete ordered fields where $\Bbb R$ is the set of real numbers. Let $\mathfrak{B}=\langle B,\prec,\oplus,\odot,0',1' \rangle$ be the smallest subfield of $\mathfrak{A}$ and $\mathfrak{Q}=\langle \Bbb Q,<,+,\cdot,0,1 \rangle$.
Lemma 1: $\mathfrak{R}$ is isomorphic to $\mathfrak{A}$.
Lemma 2: $\mathfrak{Q}$ is uniquely isomorphic to $\mathfrak{B}$.
By Lemma 1, let $\Phi:\Bbb R \to A,\Psi:\Bbb R \to A$ be isomorphisms between $\mathfrak{R}$ and $\mathfrak{A}$. By Lemma 2, let $f:\Bbb Q \to B$ be the unique isomorphism between $\mathfrak{Q}$ and $\mathfrak{B}$.
Let $X \subseteq \Bbb Q$ be bounded from above and $\sup,\sup'$ supremums w.r.t $<,\prec$ respectively. We next prove that $\Phi(\sup X) = \sup' f[X]$.
$\forall x\in X: x \le \sup X \implies \forall x\in X: \Phi(x) \preccurlyeq \Phi(\sup X) \implies \forall x\in X: f(x) \preccurlyeq \Phi(\sup X) \implies \sup' f[X] \preccurlyeq \Phi(\sup X).$
Assume the contrary that $\sup' f[X] \prec \Phi(\sup X)$. Since $B$ is dense in $A$, there exists $b\in B$ such that $\sup' f[X] \prec b \prec \Phi(\sup X)$. Then there exists $p\in \Bbb Q$ such that $f(p)=b$. Thus $\sup' f[X] \prec f(p)=\Phi(p) \prec \Phi(\sup X).$
We have $\Phi(p) \prec \Phi(\sup X) \implies p<\sup X \implies p<p'$ for some $p'\in X \implies$ $f(p) \prec f(p')$ for some $p'\in X$ $\implies f(p) \prec \sup' f[X]$. This is a contradiction.
Hence $\Phi(\sup X)=\sup' f[X]$. Similarly, $\Psi(\sup X)=\sup' f[X]$.
Let $X_x=\{p\in\Bbb Q \mid p<x\} \subseteq \Bbb Q$. Since $\Bbb Q$ is dense in $\Bbb R$, $x=\sup X_x$ for all $x\in\Bbb R$. Then $\Phi(x)=\Phi(\sup X_x)=\sup' f[X_x]=\Psi(\sup X_x)=\Psi(x)$ for all $x\in\Bbb R$. It follows that $\Phi=\Psi$.