The study of computable structures and equivalence relations lies at the intersection of computability theory, algebra and logic, and provides essential insights into the classification and decision ...
Proceedings of the American Mathematical Society, Vol. 126, No. 11 (Nov., 1998), pp. 3361-3370 (10 pages) We introduce a notion of quasinormality for a nested pair ${\cal S}\subset {\cal R}$ of ...