Article

Unoids with Finiteness Conditions over Computably Separable Equivalences

N. Kh. KasymovNational University of Uzbekistan, 700174, Tashkent, Uzbekistan

Lobachevskii Journal of Mathematicsjournal2025en

ABI

Abstract

The paper proves that every co-infinite set is a characteristic transversal for a some computably separable equivalence, over which only locally finite, locally finitely separable and residually finite unary algebras are representable. Similar properties for uniformly computably separable equivalences are considered.

Topics

Computability, Logic, AI Algorithms semigroups and automata theory Advanced Topology and Set Theory

Identifiers

DOI: 10.1134/s1995080225606101

Citations and references

Cited by 021 references

Metrics — AkademScholar · Coming soon