A Proof And An Extension Of A Theorem Of G. Birkoff
A -labeled -poset is an (at most) countable set, labeled in the set , equipped with partial orders. The collection of all -labeled -posets is naturally equipped with binary product operations and -ary product operations. Moreover, the -ary product operations give rise to
A Σ-labeled n-poset is an (at most) countable set, labeled in the set Σ, equipped with n partial orders. The collection of all Σ-labeled n-posets is naturally equipped with n binary product operations and nω-ary product operations. Moreover, the ω-ary product operations give rise to nω-power operations. We show that those Σ-labeled n-posets that can be generated from the singletons by the binary and ω-ary product operations form the free algebra on Σ in a variety axiomatizable by an infinite collection...
Using certain ideas connected with the entropy theory, several kinds of dimensions are introduced for arbitrary topological spaces. Their properties are examined, in particular, for normal spaces and quasi-discrete ones. One of the considered dimensions coincides, on these spaces, with the Čech-Lebesgue dimension and the height dimension of posets, respectively.