arXiv++ Combinatorics

A poset $\bfp$ is well-partially ordered (WPO) if all its linear extensions are well orders~; the supremum of ordered types of these linear extensions is the {\em length}, $\ell(\bfp)$ of $\bfp$. We prove that if the vertex set $X$ of $\bfp$ is infinite, of cardinality $κ$, and the ordering $\leq$ is the intersection of finitely many partial orderings $\leq_i$ on $X$, $1\leq i\leq n$, then, letting $\ell(X,\leq_i)=κ\multordby q_i+r_i$, with $r_i<κ$, denote the euclidian division by $κ$ (seen as an initial ordinal) of the length of the corresponding poset~:\[ \ell(\bfp)< κ\multordby\bigotimes_{1\leq i\leq n}q_i+ \Big|\sum_{1\leq i\leq n} r_i\Big|^+ \] where $|\sum r_i|^+$ denotes the least initial ordinal greater than the ordinal $\sum r_i$. This inequality is optimal (for $n\geq 2$).

A system $\mathcal M$ of equivalence relations on a set $E$ is \emph{semirigid} if only the identity and constant functions preserve all members of $\mathcal M$. We construct semirigid systems of three equivalence relations. Our construction leads to the examples given by Zádori in 1983 and to many others and also extends to some infinite cardinalities. As a consequence, we show that on every set of at most continuum cardinality distinct from $2$ and $4$ there exists a semirigid system of three equivalence relations.

Prompted by a recent question of G. Hjorth as to whether a bounded Urysohn space is indivisible, that is to say has the property that any partition into finitely many pieces has one piece which contains an isometric copy of the space, we answer this question and more generally investigate partitions of countable metric spaces. We show that an indivisible metric space must be totally Cantor disconnected, which implies in particular that every Urysohn space U_V with V bounded or not but dense in some initial segment of R+, is divisible. On the other hand we also show that one can remove "large" pieces from a bounded Urysohn space with the remainder still inducing a copy of this space, providing a certain "measure" of the indivisibility. Associated with every totally Cantor disconnected space is an ultrametric space, and we go on to characterize the countable ultrametric spaces which are homogeneous and indivisible.