|
Математическая логика, алгебра и теория чисел
Вычислимо отделимые нумерации локально финитно отделимых алгебр
Н. Х. Касымов National University of Uzbekistan, University st., 4, 100174, Tashkent, Uzbekistan
Аннотация:
It has been establish that the locally finitely separability of any universal algebra represented over a given uniformly computably separable equivalence is equivalent to the immune of the characteristic transversal of this equivalence. Examples are presented that demonstrate the infidelity of this criterion for finitely separable algebras, as well as for computably separable equivalences that are not uniform. It is shown that every infinite and co-infinite set is a characteristic transversal of a computably separable equivalence, over which only finitely approximable algebras are represented.
Ключевые слова:
numbered algebra, morphism, representation of universal algebra over equivalence and $\eta$-algebra, characteristic transversal of equivalence and numbering, uniformly computably separable numbering, finitely and locally finitely separability.
Поступила 31 января 2023 г., опубликована 31 марта 2024 г.
Образец цитирования:
Н. Х. Касымов, “Вычислимо отделимые нумерации локально финитно отделимых алгебр”, Сиб. электрон. матем. изв., 21:1 (2024), 315–346
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1687 https://www.mathnet.ru/rus/semr/v21/i1/p315
|
|