By studying dimensional types of metric scattered spaces, we consider the wider class of metric σ-discrete spaces. Applying techniques relevant to this wider class, we present new proofs of some embeddable properties of countable metric spaces in such a way that they can be generalized onto uncountable metric scattered spaces. Related topics are also explored, which gives a few new results.
The paper deals with the characterization of ordered sets by means of ternary semigroups of homomorphisms of ordered sets.
Let (C,R) be the countable dense circular ordering, and G its automorphism group. It is shown that certain properties of group elements are first order definable in G, and these results are used to reconstruct C inside G, and to demonstrate that its outer automorphism group has order 2. Similar statements hold for the completion C̅.
We prove that every clone of operations on a finite set , if it contains a Malcev operation, is finitely related – i.e., identical with the clone of all operations respecting for some finitary relation over . It follows that for a fixed finite set , the set of all such Malcev clones is countable. This completes the solution of a problem that was first formulated in 1980, or earlier: how many Malcev clones can finite sets support? More generally, we prove that every finite algebra with few...