RUS  ENG
Full version
JOURNALS // Matematicheskie Trudy // Archive

Mat. Tr., 2023 Volume 26, Number 1, Pages 47–92 (Mi mt689)

This article is cited in 1 paper

Negative numberings in admissible sets. I

I. Sh. Kalimullinab, V. G. Puzarenkocd, M. Kh. Faizrahmanovab

a Kazan Federal University, Kazan, 420008, Russia
b Scientific-Educational Mathematical Center of Volga Federal District
c Sobolev Institute of Mathematics, Novosibirsk, 630090, Russia
d Novosibirsk State University, Novosibirsk, 630090, Russia

Abstract: We construct an admissible set $\mathbb{A}$ such that the family of all $\mathbb{A}$-computably enumerable sets possesses a negative computable $\mathbb{A}$-numbering but lacks positive computable $\mathbb{A}$-numberings. We also discuss the question on existence of minimal negative $\mathbb{A}$-numberings.

Key words: numbering, decidable numbering, positive numbering, negative numbering, computable numbering, computable set, computably enumerable set, admissible set.

UDC: 510.5

Received: 25.05.2023
Revised: 14.06.2023
Accepted: 16.06.2023

DOI: 10.33048/mattrudy.2023.26.104


 English version:
Siberian Advances in Mathematics, 2023, 33:4, 293–321

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024