TY - GEN
A1 - Seda N. Manukian
PB - НАН РА
N2 - 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.
L1 - http://arar.sci.am/Content/258871/file_0.pdf
L2 - http://arar.sci.am/Content/258871
KW - Elementary mathematics; Arithmetic
KW - Mathematics
KW - Algorithm
T1 - On Transitive Closures of Two-dimensional Strongly Positive Arithmetical Sets
UR - http://arar.sci.am/dlibra/docmetadata?id=258871
ER -