Embedding partially ordered sets into chain-products is already known to be NP-complete (see Yannakakis 30] for dimension or Stahl and Wille 26] for 2-dimension). In this paper, we introduce a new dimension parameter and show that encoding using terms (or k-dimension) is not better than bit-vector (or 2-dimension) and vice versa. A decomposition theory is introduced using coatomic lattices. An ...

The most comon definition of the Poset category is incorrect. Here we present a valid categorical concept using morphisms that are “closed” and “complete”.

For an arbitrary partially ordered set P its dual P ∗ is built as the collection of all monotone mappings P → 2 where 2 = {0, 1} with 0 < 1. The set of mappings P ∗ is proved to be a complete lattice with respect to the pointwise partial order. The second dual P ∗∗ is built as the collection of all morphisms of complete lattices P ∗ → 2 preserving universal bounds. Then it is proved that the pa...

The dimension of a partiruly ordered set (X, P) is the smallest positive integer i for which there exists a function f which assigns to each x E X a sequence {f(x)(i): I s i 41) of TeaI numbers so that x Sy in P i! and only if f(x)(i)Sf(y)(i) for each i = 1,2,. , , , t. TIE irltelval ~lmension of (X, P) is the sm;.llcst integer t for which there exists a function F which assigns to 2ach x E X a...

A partially ordered set (X, is called sharply transitive if its automorphism group is sharply transitive on X, that is, it is transitive and the stabilizer of every element is triviaL It is shown that every free group is the automorphism group of a sharply transitive partially ordered set. It is also shown that there exists a sharply transitive partially ordered set (-,Y, :::;) having some maxi...