The notions of positive and strongly positive arithmetical set are considered in ([1]-[3] ). It is noted in [3] that the transitive closure of any 2-dimensional strongly positive set is primitive recursive. In this article a more strong statement is proved: the transitive closure of any 2-dimensional strongly positive set is defined by an arithmetical formula in the signature (0,=, < ,S), where S(x)=x+1.
oai:arar.sci.am:258871
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Dec 8, 2023
Jul 24, 2020
710
https://arar.sci.am/publication/281998
Edition name | Date |
---|---|
On Transitive Closures of Two-dimensional Strongly Positive Arithmetical Sets | Dec 8, 2023 |
E. P. Serrano M. I. Troparevsky M. A. Fabio Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) Ռ․ Վ․ Համբարձումյան (1994-2009) Ա․ Ա․ Սահակյան (2010-)
Vahan V. Gevorgyan Gevorg A. Karapetyan Hakob G. Sarukhanyan