Arithmetic Springer theorem and $n$-universality under field extensions

Based on BONGs theory, we prove the norm principle for integral and relative integral spinor norms of quadratic forms over general dyadic local fields, respectively. By virtue of these results, we further establish the arithmetic version of Springer’s theorem for indefinite quadratic forms. Moreover, we solve the lifting problems on $n$-universality over arbitrary local fields.