TY - JOUR
AU - Manukian, Seda N.
PY - 2021/12/10
Y2 - 2024/05/18
TI - On an Algebraic Classification of Multidimensional Recursively Enumerable Sets Expressible in Formal Arithmetical Systems
JF - Mathematical Problems of Computer Science
JA - MPCS
VL - 41
IS -
SE - Articles
DO -
UR - http://mpcs.sci.am/index.php/mpcs/article/view/238
SP - 103-113
AB - <p>Abstract Algebraic representations of multidimensional recursively enumerable sets which are expressible in formal arithmetical systems based on the 1, are introduced and x , S), where S(x) , S), (0,,), (0,, S,signatures(0, investigated. The equivalence is established between the algebraic and logical representations of multidimensional recursively enumerable sets expressible in the mentioned systems.</p>
ER -