Real fields with small Galois groups (Q2266739)

In this note the following theorem is announced without proof: Let R be a real closed field and \(\alpha\in R\). Let k be a subfield of R such that \(\alpha\) \(\not\in k\) and maximal with respect to these two properties. Then we have exactly one of the following: 1) k is a Geyer field with \(G\cong {\mathbb{Z}}_ p\times {\mathbb{Z}}/2{\mathbb{Z}}\) where p is a prime integer. 2) The commutator subgroup G' is the free pro-2-group on an infinity of generators and \(G/G'\cong {\mathbb{Z}}_ p\times {\mathbb{Z}}/2{\mathbb{Z}}\) where p is a prime integer. Also G has two generators \(\sigma\) and \(\tau\) where \(\sigma\) is an involution. Unfortunately, the authors do not explain the term ''Geyer field'' nor do they state precisely what they mean by ''real closed''.