Model Theory of Projective Spaces
摘要
It is proved that, for any vector space V over a field f of finite dimension at least 3, the projective space P(V) (the set of all subspaces of V equpped with a binary predicate of inclusion) is regularly injectively bi-interpretable with the field F.