Object

Title: On an Algebraic Classification of MultidimensionalRecursively Enumerable Sets Expressible in FormalArithmetical Systems ; Об алгебраической классификации многомерных рекурсивноперечислимых множеств, выразимых в формальныхарифметических системах

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:

14.12.2013

Date accepted:

24. 02. 2014.

Identifier:

oai:noad.sci.am:135925

ISSN:

0131-4645

Language:

English

Journal or Publication Title:

Mathematical Problems of Computer Science

Volume:

41

URL:


Additional Information:

zaslav@ipia.sci.am

Affiliation:

Institute for Informatics and Automation Problems

Country:

Armenia

Indexing:

ASCI

Object collections:

Last modified:

Mar 4, 2021

In our library since:

Jul 27, 2020

Number of object content hits:

19

All available object's versions:

https://noad.sci.am/publication/149518

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

This page uses 'cookies'. More information