Object

Title: On Transitive Closures of Two-dimensional Strongly Positive Arithmetical Sets

Journal or Publication Title:

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

Date of publication:

2016

Volume:

45

ISSN:

0131-4645

Additional Information:

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

Other title:

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

Coverage:

67-76

Abstract:

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.

Publisher:

НАН РА

Date created:

2016-03-03

Format:

pdf

Identifier:

oai:arar.sci.am:258871

Location of original object:

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

Object collections:

Last modified:

Jun 14, 2021

In our library since:

Jul 24, 2020

Number of object content hits:

0

All available object's versions:

https://arar.sci.am/publication/281998

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

This page uses 'cookies'. More information