Unoids with Finiteness Conditions over Computably Separable Equivalences

The paper proves that every co-infinite set is a characteristic transversal for a some computably separable equivalence, over which only locally finite, locally finitely separable and residually finite unary algebras are representable. Similar properties for uniformly computably separable equivalences are considered.

Hali tarjima qilinmagan