Jean-Yves Moyen (University of Copenhagen) |
Jakob Grue Simonsen (University of Copenhagen) |
We investigate computability in the lattice of equivalence relations on the natural numbers. We mostly investigate whether the subsets of appropriately defined subrecursive equivalence relations -for example the set of all polynomial-time decidable equivalence relations- form sublattices of the lattice. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.248.8 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |