ВОПРОСЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1972 г.

137 - (a) ns sun * сказанного следует, что степень неразрешимости (^Z h, Пп степени нврвзрен- теорви q * " f t * * $■ и другой отороны^для В8ЖД0Й формулм построй»* формулу ф : 0И 1ВДНО , формуле ф ■ отиянв на П„ №. ц. т. г*., к ф в ф встияиа не fin Поэтому, учитывая ( d j , полу чаел, что степень неразрешимое»! * ^ A IT * теория Q™ *'А * * Р8>я* степени нерааревимостн теории ^— Л, П„ 1 ^ а Г ’ л - С иледствие i . Пд , П л Степень неразрешимости теории^ Г*д«>0 р » » я * степеня неразрешимости теории те опия й Г М " nSBeoTHo, что при т ^ 5 т р 4 /c gm разрешима /см. П1 / , прэтому и теория шина. разре следствие 2. Отепень неразрешимости теории я., <о,У,Пя * £ ранне степени неразрешимости теории ^ у -р г% : Покажем, что степень неразрешимости теории ^ д л - г » * ^ Пя. п. равна степени неразрешимости теории 'Лиг"* ж МУ.П, Е * в самом деле, пусть ф t rt ^ *+*/(?<> й,/> 7 Пусть ф . ^ ^ VbiZ, L J ° <>