Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have