|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Математическая логика, алгебра и теория чисел
On functors enumerating structures
Dino Rossegger Institute of Discrete Mathematics and Geometry,
Technische Universität Wien,
Wiedner Hauptstraße 8-10/104,
1040 Wien, Austria
Аннотация:
We study a new notion of reduction between structures called enumerable functors related to the recently investigated notion of computable functors. Our main result shows that enumerable functors and effective interpretability with the equivalence relation computable are equivalent. We also obtain results on the relation between enumerable and computable functors.
Ключевые слова:
computable structure theory, enumerable functor, computable structures, enumeration reducibility.
Поступила 19 июня 2017 г., опубликована 26 июля 2017 г.
Образец цитирования:
Dino Rossegger, “On functors enumerating structures”, Сиб. электрон. матем. изв., 14 (2017), 690–702
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr816 https://www.mathnet.ru/rus/semr/v14/p690
|
Статистика просмотров: |
Страница аннотации: | 150 | PDF полного текста: | 35 | Список литературы: | 34 |
|