Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
Title:
On Strongly Positive Multidimensional Arithmetical Sets
Other title:
Creator:
Subject:
Uncontrolled Keywords:
Arithmetical formula ; Transitive closure ; Recursive set ; Signature
Coverage:
Abstract:
The notion of positive arithmetical formula in the signature (0,=, S), where S(x) = x +1, is defined and investigated in [1] and [2] . A multidimensional arithmetical set is said to be positive if it is determined by a positive formula. Some subclass of the class of positive sets, namely, the class of strongly positive sets, is considered.