an:01295194
Zbl 0934.06005
Abraham, Uri; Bonnet, Robert
Hausdorff's theorem for posets that satisfy the finite antichain property
EN
Fundam. Math. 159, No. 1, 51-69 (1999).
00056624
1999
j
06A06 03E10
scattered sets; finite antichain property; antichain rank; well-founded posets; product operation for ordinals
A poset \(P\) is well-founded iff it has no infinite decreasing sequence; \(P\) satisfies the condition FAC iff every antichain of \(P\) is finite; \(P\) is scattered iff it has no subset which has the order-type of the set of rational numbers with their natural order. \textit{F. Hausdorff} [Grundz??ge der Megenlehre (Veit \& Comp., Leipzig) (1914; JFM 45.0123.01), Kapitel IV, \S 6] had considered this concept only for linearly ordered sets. If \(P\) and \(Q\) are posets with the same carrier sets and orders \(\leq_P\) resp. \(\leq_Q\), then \(Q\) augments \(P\), iff \(\leq_Q\) contains \(\leq_P\). The set of all possible augmentations of \(P\) is denoted by \(\text{aug}(P)\).
When \(P\) satisfies the FAC, \(({\mathcal A}(P),\supset)\) is the poset of all nonempty antichains of \(P\) under inverse inclusion. This set is well-founded and thus it has a rank function \(\text{rk}_{\mathcal A}\). The antichain rank of \(P\) is then its image \(\text{rk}_{\mathcal A}(P)\), which is an ordinal. The main theorem then states the following: Let \(\rho\) be an ordinal and let \(\text{aug} ({\mathcal H}^\rho)\) be the closure of the class of all well-founded posets with antichain rank \(\leq \rho\) under inversion, lexicographic sums, and augmentation. Then it contains the class of all scattered FAC-posets with rank \(\leq\rho\). So \(\text{aug}({\mathcal H})\), which is the closure of the well-founded posets with FAC under inversion, lexicographic sums, and augmentation, is the class of all scattered FAC-sets. For \(\rho=1\) this implies Hausdorff's theorem [loc. cit.]. In the proof, the authors introduce a new product operation for ordinals, which they call the Hessenberg based product.
E.Harzheim (K??ln)
Zbl 0041.02002; JFM 45.0123.01