Manukian, S. N. . “On an Algebraic Classification of Multidimensional Recursively Enumerable Sets Expressible in Formal Arithmetical Systems”. Mathematical Problems of Computer Science, vol. 41, Dec. 2021, pp. 103-1, http://93.187.165.2/index.php/mpcs/article/view/238.