Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
Title:
Other title:
Creator:
Subject:
Uncontrolled Keywords:
Coverage:
Abstract:
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.