Negative numberings in admissible sets. II I. Sh. Kalimullin ab ,
V. G. Puzarenko cd ,
M. Kh. Faizrahmanov ab 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 describe constructions that are used in the proof of the main result of the first part of the article. They are based on automorphisms and properties of the Cantor space.
Key words:
$\Sigma$ -subset, structure, Cantor space, automorphism, computable set, computably enumerable set, admissible set.UDC:
510.5 Received: 22.07.2023
Revised: 22.10.2023
Accepted: 20.11.2023
DOI:
10.33048/mattrudy.2023.26.205
© , 2024
Fulltext:
PDF file (505 kB)