Locally finite and finitely approximated unoids over computably separable equivalences
N. Kh. Kasymov · Mathematics and Theoretical Computer Science · 2024
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.