a1 Department of Mathematics, University of Toronto, Toronto, Ontario M5S 1A4, Canada
a2 Department of Mathematics, The Hebrew University, Jerusalem, Israel
We show that relative to the consistency of a supercompact cardinal does not imply . The model-theoretic transfer property ⟨ℵ1, ℵ0⟩ → ⟨ℵ ω + 1, ℵ ω ⟩ does not imply , and it is consistent to have an ultrafilter on ℵ ω + 1 which is λ-indecomposible for all ω < λ < ℵ ω .
(Received November 29 1984)
(Revised February 18 1986)