A cofinal coloring theorem for partially ordered algebras (Q802579): Difference between revisions

Let P be a partially ordered set. A subset T in P is said to be majorized by a subset \(S\subset P\) if for any \(t\in T\) there exists \(s\in S\) such that \(t\leq s\). P is directed if any 2-element set is majorized by a singleton. A subset S is cofinal in P if S majorizes P itself. Cofinality of P means the least cardinality of a cofinal subset in P. It is proved that if P is a directed partially ordered algebra of an appropriate sort and has cofinality \(\alpha\) then P has a family of \(\alpha\) disjoint subalgebras each cofinal in P. A version of this result is also proved without the directedness condition in which the cofinality of P is replaced by an invariant which is called global cofinality.