We develop local forms of Ramsey-theoretic dichotomies for block sequences in infinite-dimensional vector spaces, analogous to Mathias' selective coideal form of Silver's theorem for analytic partitions of [N] ∞ . Under large cardinals, these results are extended to partitions in L(R) and L(R)-generic filters of block sequences are characterized. Variants of these results are also established for block sequences in Banach spaces and for projections in the Calkin algebra. . He would also like to thank his PhD advisor, Justin Tatch Moore, for continued guidance and suggesting the problem of characterizing L(R)-generic filters for the projections in the Calkin algebra which motivated this work.

We consider maximal almost disjoint families of block subspaces of countable vector spaces, focusing on questions of their size and definability. We prove that the minimum infinite cardinality of such a family cannot be decided in ZFC and that the "spectrum" of cardinalities of mad families of subspaces can be made arbitrarily large, in analogy to results for mad families on ω. We apply the author's local Ramsey theory for vector spaces [32] to give partial results concerning their definability. The author would like to thank the anonymous referee for many helpful comments and corrections. 1 2 IIAN B. SMYTHE One way of addressing question 1 is to determine the value of the cardinal invariant a = min{|A| : A is an infinite mad family}.This could mean which ℵ α is such that a = ℵ α , or how a relates to other well-studied cardinal invariants (see [5] or [36]) between ℵ 1 and c. By our comments above, ℵ 1 ≤ a ≤ c, and a modification of that diagonalization argument shows that b ≤ a, where b is the minimum size of an unbounded family of functions ω → ω (see [ibid.]). However, the value of a cannot be decided in ZFC: both the Continuum Hypothesis CH and Martin's Axiom MA (see [21] or [22]) imply that a = c, and thus, consistently ℵ 1 < a = c, while Kunen [21] showed that in the model obtained by adding ℵ 2 -many Cohen reals to a model of CH, ℵ 1 = a < c = ℵ 2 . In [19], Hrušák showed 1 that the latter also holds in the models obtained by adding ℵ 2 -many Sacks reals iteratively or "side-by-side" to a model of CH.A more sophisticated version of question 1 might ask for the "spectrum" of cardinalities between ℵ 1 and c that mad families can posses. This was first addressed by Hechler [14], who produced a method for obtaining arbitrarily large continuum and, simultaneously, mad families of all cardinalities κ for ℵ 1 ≤ κ ≤ c. While beyond the scope of our investigations here, these questions have been the focus of much deep work in recent decades, notably Brendle's [6], which establishes the consistency of a = ℵ ω , Shelah's [29], which establishes the consistency of d < a, and Shelah and Spinas' [30], which gives a nearly-sharp characterization of possible mad spectra.Question 2 above seeks to understand to what extent the nonconstructive methods used to obtain mad families are necessary. A result of Mathias [23] says that an infinite mad family can never be analytic (i.e., a continuous image of a Borel set). Under large cardinal hypotheses, this can be pushed further to show that there are no definable mad families at all, in the sense that there are none in L(R) (see [9], [23], [35], and for a consistency result without large cardinals, [16]). Mathias' result is also sharp; Miller [24] proved that there is a coanalytic (i.e., the complement of an analytic set) mad family assuming V = L, work later refined by Törnquist [34].This article is concerned with an analogue of mad families arising in vector spaces. Throughout, E will be a countably infinite-dimensional vector space over a countable (possibly finite) field F .D...

We study various combinatorial properties, and the implications between them, for filters generated by infinite-dimensional subspaces of a countable vector space. These properties are analogous to selectivity for ultrafilters on the natural numbers and stability for ordered-union ultrafilters on FIN.

No abstract

We study various combinatorial properties, and the implications between them, for filters generated by infinite-dimensional subspaces of a countable vector space. These properties are analogous to selectivity for ultrafilters on the natural numbers and stability for ordered-union ultrafilters on FIN.