Ramsey property for finite subspaces whose projection contains a distinguished subspace
Determine whether, for a countably infinite-dimensional vector space over GF(2), the family of finite subspaces U whose projection onto a fixed finite-dimensional subspace A1 contains A1 has the Ramsey property.
References
This statement motivates the following dual question. Question C. Let V be a vector space over GF(2) of dimension w and A1 be a finite subspace of V. Let T be a projection V -> A1. Does the family of all finite subspaces U < V such that (U) contains A1, has the Ramsey property?
— Ramsey property for spaces with bilinear forms
(2503.08312 - Ivanov et al., 11 Mar 2025) in Question C, Section 2.1