Solution

ID: past-exam-of-the-model-theory-and-godel-s-incompleteness-theorems-course-of-the-university-of-oxford/2009/b/5/c/i/solution

For each fixed finite tuple length , use the finite conjunction
It asserts that no nontrivial scalar combination vanishes, exactly linear independence. It is an -formula because the field is finite and every scalar multiplication is named. Scalar coefficients are indices of function symbols, not variables ranging over a separate field sort. There is no single finite formula with arbitrarily many free variables; the assertion is a formula for each prescribed finite .

New to topics? Read the docs here!