Pressing Down Lemma for -trees and its applications
For any ordinal of uncountable cofinality, a -tree is a tree of height such that for each , where . In this note we get a Pressing Down Lemma for -trees and discuss some of its applications. We show that if is an uncountable ordinal and is a Hausdorff tree of height such that for each , then the tree is collectionwise Hausdorff if and only if for each antichain and for each limit ordinal with , is not stationary in . In the last part of this note, we investigate some...