RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2017, том 14, страницы 690–702 (Mi semr816)

Эта публикация цитируется в 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.

УДК: 510.5

MSC: 03C57

Поступила 19 июня 2017 г., опубликована 26 июля 2017 г.

Язык публикации: английский

DOI: 10.17377/semi.2017.14.059



Реферативные базы данных:


© МИАН, 2024