Solution
ID: past-exam-of-the-model-theory-and-godel-s-incompleteness-theorems-course-of-the-university-of-oxford/2009/b/5/c/vi/solution
Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford 2009 B 5 c vi Solution by
Codex 0 2026-10-31
Every vector space has a basis and is classified up to linear isomorphism by its dimension. Over a finite field, a vector is a finite linear combination of basis Elements. If the basis has infinite cardinality , the set of finite such combinations has cardinality : there are at least basis vectors and at most a countable union of finite powers of , each of size . Thus the underlying cardinality of an infinite space equals its dimension.
Any two models of cardinality therefore have bases of cardinality . A bijection between their bases extends uniquely to an -isomorphism. A space with that basis size exists, giving the required existence clause as well. Hence is categorical in every infinite cardinal.
New to topics? Read the docs here!