Quadratic forms over formally real fields with eight square classes

Complete classification of formally real fields with 8 square classes with respect to the behaviour of quadratic forms is given. Two fields F and K are equivalent with respect to quadratic forms if the quadratic form schemes of the two fields are isomorphic or in other words, if the Witt rings W(F) and W(K) are isomorphic. It is shown here that for formally real fields with 8 square classes there are exactly seven possible quadratic form schemes and for each of the seven schemes a formally real field with 8 square classes and the given scheme is constructed.