论文标题
积极枚举的函子
Positive enumerable functors
论文作者
论文摘要
我们研究了非常适合比较基于枚举降低性的性质的结构和类别的减少。我们介绍了一个正面枚举的函子的概念,并研究了基于函子和替代定义的已建立减少的关系。
We study reductions well suited to compare structures and classes of structures with respect to properties based on enumeration reducibility. We introduce the notion of a positive enumerable functor and study the relationship with established reductions based on functors and alternative definitions.