Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings

V. Ironmonger, N. Ruskuc

We consider the posets of equivalence relations on finite sets under the standard embedding ordering and under the consecutive embedding ordering. In the latter case, the relations…