Metadata language
Title:
On an Algebraic Classification of MultidimensionalRecursively Enumerable Sets Expressible in FormalArithmetical Systems ; Об алгебраической классификации многомерных рекурсивноперечислимых множеств, выразимых в формальныхарифметических системах
Author:
Type:
Uncontrolled Keywords:
Predicate formula ; Universal algebra ; Recursively enumerable set ; Mathematical structure ; Deductive system ; Formal arithmetic
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.
;
Вводятся и исследуются алгебраические представления многомерных рекурсивно перечислимых множеств, которые выразимы в системах формальной арифметики, основанных на сигнатурах (0,=, S,+) , (0,=,<, S) , (0,=, S) , где S(x) = x +1. Устанавливается эквивалентность между алгебраическими и логическими представлениями многомерных рекурсивно перечислимых множеств, выразимых в указанных системах.
Date submitted:
Date accepted:
ISSN:
Language:
Journal or Publication Title:
Mathematical Problems of Computer Science
Volume:
URL:
Additional Information:
Affiliation:
Institute for Informatics and Automation Problems