Additively indecomposable quadratic forms over totally real number fields

We give an upper bound for the norm of the determinant of additively indecomposable, totally positive definite quadratic forms defined over the ring of integers of totally real number fields. We apply these results to find lower and upper bounds for the minimal ranks of ‐universal quadratic forms. For , and , we classify, up to equivalence, all classical, additively indecomposable binary quadratic forms.