We prove some consistency results concerning the Moving Off Property for locally compact spaces, and thus the question of whether their function spaces are Baire.
IntroductionThe Moving Off Property was introduced in [11] to characterize when C k (X) satisfies the Baire Category Theorem, for q-spaces X. Here we shall only be concerned with locally compact spaces (which are q), and so won't define q. We shall assume all spaces are Hausdorff.
Definition.A moving off collection for a space X is a collection K of nonempty compact sets such that for each compact L, there is a K ∈ K disjoint from L. A space satisfies the Moving Off Property (MOP) if each moving off collection includes an infinite subcollection with a discrete open expansion.