Generic amplification of recursively enumerable sets
Algebra i logika, Tome 57 (2018) no. 4, pp. 448-455
Voir la notice de l'article provenant de la source Math-Net.Ru
Generic amplification is a method that allows algebraically undecidable problems to generate problems undecidable for almost all inputs. It is proved that every simple negligible set is undecidable for almost all inputs, but it cannot be obtained via amplification from any undecidable set. On the other hand, it is shown that every recursively enumerable set with nonzero asymptotic density can be obtained via amplification from a set of natural numbers.
Keywords:
algorithmically undecidable problem, generic amplification, undecidable set, simple negligible set, recursively enumerable set.
@article{AL_2018_57_4_a2,
author = {A. N. Rybalov},
title = {Generic amplification of recursively enumerable sets},
journal = {Algebra i logika},
pages = {448--455},
publisher = {mathdoc},
volume = {57},
number = {4},
year = {2018},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_2018_57_4_a2/}
}
A. N. Rybalov. Generic amplification of recursively enumerable sets. Algebra i logika, Tome 57 (2018) no. 4, pp. 448-455. http://geodesic.mathdoc.fr/item/AL_2018_57_4_a2/