Locally finite and finitely approximated unoids over computably separable equivalences

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.

Topics

Identifiers

DOI

10.26907/2949-3919.2024.1.55-73

Citations and references