СПЕЦИФИЦИРУЕМОСТЬ ЭФФЕКТИВНО ОТДЕЛИМЫХ АЛГЕБР
Abstract
Нумерованная универсальная алгебра называется вычислимо отделимой (отделимой), если для всякой пары чисел, различных по модулю ядра представления, найдется вычислимое (вычислимо перечислимое) множество, отделяющее одно из этих чисел от второго.
Downloads
Published
2023-12-11
Issue
Section
Articles
License
Copyright (c) 2023 International journal of conference series on education and social sciences (Online)
This work is licensed under a Creative Commons Attribution 4.0 International License.