Some model-theoretic results in the algebraic theory of quadratic forms (Q5956888)

Some model-theoretic properties of special groups of finite type are studied. Special groups are models of a first-order axiomatization of the algebraic theory of (reduced) binary quadratic forms over fields. They consist of a group \(G\) of exponent \(2\), a distinguished element \(-1\), and an `isometry' relation on pairs from \(G\). Special groups of `finite type' are obtained from finite special groups by a finite number of applications of two kinds of operations: `product' and `extension'. For such groups the notions of elementary equivalence, saturation, elementary embeddings, quantifier elimination, stability, and Morley rank are studied.