RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2018 Volume 59, Number 4, Pages 823–833 (Mi smj3012)

This article is cited in 4 papers

Positive presentations of families relative to $e$-oracles

I. Sh. Kalimullina, V. G. Puzarenkob, M. Kh. Faizrahmanova

a Kazan (Volga Region) Federal University, Kazan, Russia
b Sobolev Institute of Mathematics, Novosibirsk, Russia

Abstract: We introduce the notion of $A$-numbering which generalizes the classical notion of numbering. All main attributes of classical numberings are carried over to the objects considered here. The problem is investigated of the existence of positive and decidable computable $A$-numberings for the natural families of sets $e$-reducible to a fixed set. We prove that, for every computable $A$-family containing an inclusion-greatest set, there also exists a positive computable $A$-numbering. Furthermore, for certain families we construct a decidable (and even single-valued) computable total $A$-numbering when $A$ is a low set; we also consider a relativization containing all cases of total sets (this in fact corresponds to computability with a usual oracle).

Keywords: enumeration, decidable numbering, positive numbering, computable numbering, computable set, computably enumerable set, $e$-reducibility.

UDC: 510.5

MSC: 35R30

Received: 24.09.2017

DOI: 10.17377/smzh.2018.59.407


 English version:
Siberian Mathematical Journal, 2018, 59:4, 648–656

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024