Ученые записки математических кафедр вып. 1970 г.
-а»5 - % у ( С ) = ТЧ (Н ) Если бы т > п , , то ф ё Я у ( н ) . В самой деле, допустим что т > п , и Ф €УЕ у (Н ) . . Найдутся такие ^ , ...,ъГ^еН, что Ф - Удг З р [ { ^ £ :с = у - х] истинна на Н. Так как каждое выражается через Л , и Н - абе лева группа, то ф равносильна формуле (на Н): где Очевидно, что, если формула Ф истинна на Н, то Ф< получающаяся из Ф заменой каждого на £¿ где ^ г (ы *х11) и ¿\ =е ? / § также истинна на Н. ф . ’ У * З у [ V С - * ¡ > 4 I истинное подмножество множества / всех /п. - ок из 0 . 1 Найдем т - Ку ( £ * , . . . , £Д. ; € I \ / ' . Пусть * -- 4 ^ Если бы нашелся такой что V я С \ . . С ~ - - Ч . 1 . т о для некоторой последовательности &.....О е Г * I ' имели бы т .е . при любом 4 : ¿х ~ 0 ()ил&2) то для в сех £ ¿ ¿ г £*■ т -ки С )■ « у . . • , а т .к . £ г -о, 1 , но эт о протворечит выбору
Made with FlippingBook
RkJQdWJsaXNoZXIy ODQ5NTQ=