Cyclic 2-structures and spaces of orderings of power series fields in two variables (Q655386)

The authors consider the space of orderings of the field \(R((x,y))\) and the space of orderings of the field \(R((x))(y),\) where \(R\) is a real closed field. For the description of these objects they use cyclic 2-structures, which are pairs \((S,\Phi),\) where \(S\) is a cyclically ordered set and \(\Phi\) is an equivalence relation on \(S\) with equivalence classes considering exactly two elements. The field \(R((x))\) has two orderings and let \(R_1\) and \(R_2\) be the associated real closures. The space of orderings of \(R((x))(y)\) is described with the help of \((S,\Phi)\), where \(S\) is a disjoint union of \(R_1, R_2\) and \(\{-\infty,\infty\}\) cyclically ordered by \(\infty<R_1<-\infty<R_2<\infty\), where the ordering on \(R_1\) is taken to be opposite to the usual one. As for the relation \(\Phi\) the symbols \(-\infty\) and \(\infty\) are in the same class, whereas \(r, r'\in R_1\dot{\cup}R_2\) forms the same class if they have the same minimal polynomial over \(R((x)).\) Then every ordering of \(R((x))(y)\) can be associated with a cut of \(S\). In the description of the space of orderings of \(R((x,y))\) the sets \(R_i\) in the definition of \(S\) are changed into sets \(I_i\subset R_i\) of infinitesimal elements of \(R_i,\,i=1,2.\) The authors also show that if the real closed field \(R\) is archimedean then the space of \(\mathbb R\)-places of these fields is describable in terms of cyclic 2-structures.