ω1-compactness in type I manifolds

In this paper we establish that any well-pruned ω1-tree, T, admits an ω1-compact type I manifold if T does not contain an uncountable antichain. If T does contain an uncountable antichain, it has been shown that whether or not T admits an ω1-compact manifold is undecidable in ZFC.