Locally finite and finitely approximated unoids over computably separable equivalences

Annotatsiya

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.

Mavzular

Identifikatorlar

DOI

10.26907/2949-3919.2024.1.55-73

Iqtiboslar va manbalar