Computable model theory.
3. Theories, types, models, and diagrams. 138 4. Small theories and their models. 144 5.
Effective categoricity. 148 6. Automorphisms of effective structures. 156 7. Degree spectra of …
Effective categoricity. 148 6. Automorphisms of effective structures. 156 7. Degree spectra of …
Classifying word problems of finitely generated algebras via computable reducibility
V Delle Rose, L San Mauro, A Sorbi - International Journal of …, 2023 - usiena-air.unisi.it
We contribute to a recent research program which aims at revisiting the study of the
complexity of word problems, a major area of research in combinatorial algebra, through the …
complexity of word problems, a major area of research in combinatorial algebra, through the …
О гомоморфизмах на эффективно отделимые алгебры
НХ Касымов - Сибирский математический журнал, 2016 - mathnet.ru
Исследуются различные вариации понятия отделимой нумерации, на основе которых
описывается ряд алгоритмических и алгебраических понятий. В частности, на базе и в …
описывается ряд алгоритмических и алгебраических понятий. В частности, на базе и в …
Structures of degrees of negative representations of linear orders
NK Kasymov, RN Dadazhanov, SK Djavliev - Russian Mathematics, 2021 - Springer
The structures of partially ordered sets of degrees of negative and positive representability of
linear orders are studied. The focus is on the negative representability of linear orders and …
linear orders are studied. The focus is on the negative representability of linear orders and …
Homomorphisms onto effectively separable algebras
NK Kasymov - Siberian Mathematical Journal, 2016 - Springer
We study variations of the concept of separable enumeration and, basing on that, describe a
series of algorithmic and algebraic concepts. In this framework we characterize negative …
series of algorithmic and algebraic concepts. In this framework we characterize negative …
Defining algorithmically presented structures in first order logic
N Kasymov, N Karimova, B Khoussainov - … of the 39th Annual ACM/IEEE …, 2024 - dl.acm.org
We aim to describe the isomorphism types of infinite structures in the language of first-order
logic. This pursuit holds importance in logic in computer science, encompassing model …
logic. This pursuit holds importance in logic in computer science, encompassing model …
Негативные плотные линейные порядки
НХ Касымов, РН Дадажанов - Сибирский математический журнал, 2017 - mathnet.ru
Для плотных линейных порядков установлена их негативная представимость над
всякой бесконечной негативной эквивалентностью, а также равномерно вычислимая …
всякой бесконечной негативной эквивалентностью, а также равномерно вычислимая …
Структуры степеней негативной представимости линейных порядков
НХ Касымов, РН Дадажанов… - Известия высших …, 2021 - mathnet.ru
Изучается строение частично упорядоченных множеств степеней негативной и
позитивной представимостей линейных порядков. Основное внимание уделяется …
позитивной представимостей линейных порядков. Основное внимание уделяется …
Вычислимо отделимые модели
НХ Касымов, ФН Ибрагимов - Современная математика …, 2018 - elibrary.ru
Приведены основополагающие результаты структурной теории вычислимо отделимых
моделей и продемонстрированы приложения этой теории к решению некоторых …
моделей и продемонстрированы приложения этой теории к решению некоторых …
T1-Separable Numberings of Subdirectly Indecomposable Algebras.
NK Kasymov, AS Morozov… - Algebra & …, 2021 - search.ebscohost.com
T1-SEPARABLE NUMBERINGS OF SUBDIRECTLY INDECOMPOSABLE ALGEBRAS N. Kh.
Kasymov,1 AS Morozov,2∗ and IA Khodzhamuratova3 Page 1 Algebra and Logic, Vol. 60, No …
Kasymov,1 AS Morozov,2∗ and IA Khodzhamuratova3 Page 1 Algebra and Logic, Vol. 60, No …