ЛИНЕЙНЫЕ ПОРЯДКИ. ТЕОРЕМЫ КОДИРОВАНИЯ // Ученые записки КФУ. Физико-математические науки 2012 N2

Abstract

В работе рассмотрен ряд 0'- и 0''-кодирующих теорем. Получены две общие теоремы, обобщающие все известные на данный момент 0'- и 0''-кодирующие теоремы. Используя одну 0'-кодирующую теорему, получено описание рангов η-функций η-схожих линейных порядков, не имеющих вычислимых представлений.