Paper detail

Rich families and elementary submodels

We compare two methods of proving separable reduction theorems in functional analysis -- the method of rich families and the method of elementary submodels. We show that any result proved using rich families holds also when formulated with elementary submodels and the converse is true in spaces with fundamental minimal system an in spaces of density $\aleph_1$. We do not know whether the converse is true in general. We apply our results to show that a projectional skeleton may be without loss of generality indexed by ranges of its projections.