Locally finite and finitely approximated unoids over computably separable equivalences

We prove that every coinfinite set is a characteristic transversal of a suitably computably separable equivalence relation, over which only locally finite, locally finite separable and finitely approximable unary algebras are represented. Similar properties for uniformly computable separable equivalences are considered.

Hali tarjima qilinmagan