Quasi-completeness and functions without fixed-points

Batyrshin I.

Quasi-completeness and functions without fixed-points

Batyrshin I.

URI: https://dspace.kpfu.ru/xmlui/handle/net/137355

Дата: 2006

Аннотации:

We prove a completeness criterion for quasi-reducibility and generalize it to higher levels of the arithmetical hierarchy. As an application of the criterion we obtain Q-completeness of the set of all pairs (x, n) such that the prefix-free Kolmogorov complexity of x is less than n. © 2006 WILEY-VCH Verlag GmbH & Co. KGaA.

Показать полную информацию

Файлы в этом документе

Имя: SCOPUS09425616-20 ...

Размер: 43.53Kb

Формат: PDF

Открыть

Данный элемент включен в следующие коллекции

Публикации сотрудников КФУ Scopus [24551]
Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.