Algebraic representations of multidimensional recursively enumerable sets which are expressible in formal arithmetical systems based on the signatures(0,=, S,+), (0,=, < , S), (0,=, S), where S(x) = x +1, are introduced and investigated. The equivalence is established between the algebraic and logical representations of multidimensional recursively enumerable sets expressible in the mentioned systems.
oai:arar.sci.am:258808
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Aug 27, 2020
Jul 24, 2020
0
https://arar.sci.am/publication/281925
Հրատարակության անուն | Ամսաթիվ |
---|---|
On an algebraic classification of multidimensional recursively enumerable sets expressible in formal arithmetical systems | Aug 27, 2020 |
E. P. Serrano M. I. Troparevsky M. A. Fabio
S. Ali A. Fošner W. Jing
Ф. А. Шамоян
С. А. Айунц