Generically Computable Equivalence Structures and Isomorphisms
Logic
2018-08-09 v1
Abstract
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
Cite
@article{arxiv.1808.02782,
title = {Generically Computable Equivalence Structures and Isomorphisms},
author = {Wesley Calvert and Douglas Cenzer and Valentina Harizanov},
journal= {arXiv preprint arXiv:1808.02782},
year = {2018}
}