My question is rather simple. Do there exist a formally real field that admits a unique ordering (so sums of squares are the positive elements) and such that this ordering is not archimedean?
My question is rather simple. Do there exist a formally real field that admits a unique ordering (so sums of squares are the positive elements) and such that this ordering is not archimedean?