Aleph-zero-categoricity of an infinite-dimensional vector space over a finite field (source code)

= Aleph-zero-categoricity of an infinite-dimensional vector space over a finite field

The complete theory of infinite-dimensional vector spaces over a fixed finite field is aleph-zero-categorical: every countably infinite model has countably infinite dimension and is therefore isomorphic to every other such model.