Generically Computable Equivalence Structures and Isomorphisms

Wesley Calvert,Douglas Cenzer,Valentina S. Harizanov

arXiv: Logic（2018）

引用 23|浏览11

暂无评分

摘要

We define notions of generically and coarsely computable relations and structures and functions between structures. We investigate the existence and uniqueness of equivalence structures in the context of these definitions

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要