Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence (Q639651)

This paper is a sequel to Part I [Ann. Pure Appl. Logic 148, No. 1--3, 31--48 (2007; Zbl 1124.03032)]. The authors complete the study of equivalence of binary forms over completions of models of \(\mathrm{I}\Delta_0+\Omega_1\). Let \(M\) be a model of \(\mathrm{I}\Delta_0+\Omega_1\), \(K\) the fraction field of \(M\), \(p\) a prime of \(M\), and \(v_p\) the \(p\)-adic valuation on \(K\). Then \(K^h_p\) is the henselization of \(K\) and \(M_p\) is the valuation ring of \(K^h_p\). By a result of Ax, Kochen, and Ershov, for standard \(p\), \(K^h_p\) is elementarily equivalent to \({\mathbb Q}_p\) and \(M_p\) is elementarily equivalent to the ring of \(p\)-adic integers, and, for nonstandard \(p\), \(K^h_p\) is elementarily equivalent to the field of power series over \({\mathbb F}_p\). Quadratic forms \(f\) and \(g\) over \(K^h_p\) are \(M_p\)-equivalent if there is an invertible matrix \(T\) over \(M_p\) such that \(f(\bar x)=g(T\bar x)\). The main result of the paper provides two complete list of equivalence classes of forms over \(M_p\). One list for \(p\not=2\) and another for \(p=2\). In the last section, the authors study the group stucture on \(\Pi{\mathcal G}_{D,p}\), where \({\mathcal G}_{D,p}\) is the set of equivalence classes of primitive forms over \(M\) of discriminant \(D\not=0\) under \(M_p\)-equivalence.