Positive enumerable functors
Logic
2021-02-10 v2
Abstract
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.
Cite
@article{arxiv.2011.14160,
title = {Positive enumerable functors},
author = {Barbara Csima and Dino Rossegger and Zhi Ying "Daniel" Yu},
journal= {arXiv preprint arXiv:2011.14160},
year = {2021}
}