Unoids with Finiteness Conditions over Computably Separable Equivalences
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.
Authors
- N. Kh. Kasymov (ORCID: https://orcid.org/0000-0003-4940-0649)
Institutions
- National University of Uzbekistan (UZ)
Publication Details
- Journal
- Lobachevskii Journal of Mathematics
- Published
- 2025-04-01
- DOI
- https://doi.org/10.1134/s1995080225606101
- Primary Topic
- Computability, Logic, AI Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00