We study the definability of ultrafilter bases on \ in the sense of descriptive set theory. As a main result we show that there is no coanalytic base for a Ramsey ultrafilter, while in L we can construct \ P-point and Q-point bases. We also show that the existence of a \ ultrafilter is equivalent to that of a \ ultrafilter base, for \. Moreover we introduce a Borel version of the classical ultrafilter number and make some observations.

For a ⊆ b ⊆ ω with b\ a infinite, the set D = {x ∈ [ω]ω : a ⊆ x ⊆ b} is called a doughnut. A set S ⊆ [ω]ω has the doughnut property [MATHEMATICAL SCRIPT CAPITAL D] if it contains or is disjoint from a doughnut. It is known that not every set S ⊆ [ω]ω has the doughnut property, but S has the doughnut property if it has the Baire property ℬ or the Ramsey property ℛ. (...) In this paper it is shown that a finite support iteration of length ω1 of Cohen forcing, starting from L, yields a model for CH + equation image + equation image + equation image. (shrink)

It is consistent that there is a compact space of character less than the splitting number in which there are no converging sequences. Such a space is an Efimov space.