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

_ 147 - Пи ИНДУКТИВНОМУ предположив ИИ \Х/ 6 И> (л т к . \Х/ х Q( 0^¥tQx \J(/' } т о IV 6 И . О б р а тн о , пуст* W € Н , , огд, „ бо ц , ^ сл озо^ и т о г д а 1 Н( \Х/)' истинна и* Л в Vt/iQjQ, и о п я т ь Н ( W) истина» и» ( существуют т а к и е г»,> о , , Y'fli > О U } / ) , w o U / * ot о . " Ч ол Q■т'а < . Ai а , т< а< и , тогда \^-о,£ Oyer* ^ . т о Л Ь , . . ^ Q**'*- * Д1б| истинна на а (A Q> Х*Л воли. 96, такой, что ^ то либо пустое* (, , .либо а»«и < > i т а к о й , что X , - 'Ху О, А» " » паркой еду нал ^ О. ' " ■ ' Ч ^ . в ко второй т-1 J , - ПРИ «втором подходящий у , , во и о з н а ч а е т , ч т о формула n e w ) п» . . Q# теории* 2 сущеотвует формула Ип (У ) п ЧТО ДЛЯ любого СЛОИВ полугруппы fl.j фор истинна иа полугруппа Пв т и /я т формула ^(\Х ’ ) истявна на полугруппе таи,Кал Hnt ( у ) —* повитикявя формула, то он» я Ч искомо!.