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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results