Линейные порядки. Теоремы кодирования

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