Solution

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

No. If a finite conjunction axiomatized the infinite spaces, it would follow from the vector-space axioms together with all the . Compactness would make it follow from finitely many of those axioms and dimension requirements. Let be at least every dimension mentioned there. The finite-dimensional space satisfies all vector-space axioms and those finitely many , hence would satisfy . But it is a finite set and so cannot be a model of the purported axiomatization. This contradiction proves failure of finite axiomatizability, including finite axiomatizability relative to vector spaces.

New to topics? Read the docs here!