Skip to main content
2 of 2
deleted 36 characters in body
nombre
  • 2.5k
  • 1
  • 16
  • 20

Assume for contradiction that such a ring $R$ exists.

Consider the ring $R_{\omega}:=\mathbb{Z} \oplus \omega\mathbb{R}[\omega]$ which is contained in $\mathbf{Oz}$. We have $\mathbb{R} \not\subseteq R_{\omega}$ and $\operatorname{Frac}(R_{\omega})\supseteq \mathbb{R}$. Since $R_{\omega}$ is discretely ordered, so must be $R$.

Consider a ring $R_0$ given by the answer linked by Kevin Casto. Since $R_0$ is archimedean, so must be $R$.

But $\mathbb{Z}$ is the only discretely ordered archimedean ordered ring. So we must have $R=\mathbb{Z}$, which cannot be.

nombre
  • 2.5k
  • 1
  • 16
  • 20