Algorithmic criterion of locally finite separability of algebras represented over equivalence α<sup>2</sup> ∪ id ω

It has been established that for equivalences of the form α2 ∪ id ω, the locally finite separability of any universal algebra represented over it is equivalent to the immune of the complement α. It is shown that for finitely separable algebras this criterion does not meet.

Hali tarjima qilinmagan