Ամսագրի կամ հրապարակման վերնագիր:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Հրապարակման ամսաթիվ:

2016

Հատոր:

45

ISSN:

0131-4645

Լրացուցիչ տեղեկություն:

Մանուկյան Ս., Манукян С.

Վերնագիր:

On Transitive Closures of Two-dimensional Strongly Positive Arithmetical Sets

Այլ վերնագիր:

Խիստ պոզիտիվ երկչափ թվաբանական բազմությունների տրանզիտիվ փակումների մասին; О транзитивных замыканиях строго позитивных арифметических множеств размерности

Ստեղծողը:

Seda N. Manukian

Խորագիր:

Elementary mathematics; Arithmetic ; Mathematics ; Algorithm

Չվերահսկվող բանալի բառեր:

Positive ; Strongly positive ; Arithmetical set ; Dimension ; Signature. 1. Introduction

Ծածկույթ:

67-76

Ամփոփում:

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.

Հրատարակիչ:

Изд-во НАН РА

Ստեղծման ամսաթիվը:

2016-03-03

Տեսակ:

Հոդված

Ձևաչափ:

pdf

Բնօրինակի գտնվելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան