Skip to main content
2 of 4
Changed the "title"
Loïc Teyssier
  • 5.4k
  • 3
  • 27
  • 40

Formally real fields with unique non-Archimedean ordering

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?