论文标题

积极枚举的函子

Positive enumerable functors

论文作者

Csima, Barbara, Rossegger, Dino, Yu, Zhi Ying "Daniel"

论文摘要

我们研究了非常适合比较基于枚举降低性的性质的结构和类别的减少。我们介绍了一个正面枚举的函子的概念,并研究了基于函子和替代定义的已建立减少的关系。

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.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源