В настоящей статье установливается одно необходимое условие изоморфизма полурешеток Роджерса вычислимых нумераций конечных семейств вычислимо перечислимых множеств. Условия, при которых такие полурешетки (не)изоморфны, обсуждаются в [1, гл. 1, §4]; предполагается, что читатель знаком с этим материалом. Изложение ниже будет вестись на эквивалентном (см. [1, гл. 2, §6]) языке допустимых относительно частичного порядка нумераций.
展开▼