Cardinal Functions on Initial Chain Algebras on Pseudotrees

Initial chain algebras on pseudotrees generalize the notion of an interval algebra on a linear order. Many relationships which hold between the various cardinal functions on interval algebras also hold for initial chain algebras. In particular, for initial chain algebras on pseudotrees, depth equals tightness, spread equals hereditary Lindelöf degree, irredundance equals the cardinality of the algebra, and incomparability equals hereditary cofinality. For interval algebras, Rubin showed that any subalgebra of regular uncountable cardinality κ contains either a chain of size κ or a pairwise incomparable family of size κ. This result holds for initial chain algebras as well.