Generically Computable Equivalence Structures and Isomorphisms
classification
🧮 math.LO
keywords
structurescomputableequivalencegenericallycoarselycontextdefinedefinitions
read the original 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
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.