1 problem

Let $\mathcal{K}=(K,+,-,\cdot,0,1,<,E)$ be an ordered exponential field, meaning that $E$ is an order-preserving isomorphism from the ordered additive group $(K,+,0,<)$ to the orde…