Logic Seminar

Iian SmytheCornell University
Complete combinatorics for forcing with vector subspaces

Tuesday, September 27, 2016 - 2:55pm
Malott 206

We study the notion of forcing given by infinite-dimensional block subspaces of a countably infinite-dimensional rational vector space. We show that "strategic (p+)-filters" are L(R)-generic for this notion of forcing, under large cardinal hypotheses. This comprises part of a "local Ramsey theory" for block subspaces of vector spaces and is analogous to a result of Todorcevic for selective ultrafilters on the natural numbers.