Степени неразрешимости и митотичность относительно слабых (T- и wtt-) и табличных сводимостей / Անլուծելիության աստիճաններ և միթոտիկություն` ըստ թույլ (T- և wtt-) և աղյուսակային հանգեցումների / Unsolvability degrees and mitoticity with respect to weak (T- and wtt-) and truth table reducibilities

Abstract

Первая по времени теорема о разбиении принадлежит Фридбергу²¹, согласно которой, если A является нерекурсивным рекурсивно перечислимым множеством, то существуют множества A₁ и A₂ такие, что A₁UA ₂=A / Աշխատանքը նվիրված է ռեկուրսիվորեն թվարկելի բազմությունների` ըստ տարբեր տիպի հանգեցումների միթոտիկ տրոհման հնարավորությունների հետազոտմանը /A splitting of recursively enumerable set A is a pair A₁, A₂ of disjoin recursively enumerable sets such that A₁UA₂=A