Publication:3154125
From MaRDI portal
zbMath1016.12010MaRDI QIDQ3154125
Publication date: 14 November 2002
12D15: Fields related with sums of squares (formally real fields, Pythagorean fields, etc.)
06F15: Ordered groups
06F20: Ordered abelian groups, Riesz groups, ordered linear spaces
12J15: Ordered fields