" 08 b ' .Le д'ьанэп

что / /7L-сводит |y?^j к jn^j в ючшсги loiua, когда 7^' /71-

сволит i4-}j-^j ^ i^ijçj ^ '■^j®'" 'ОВ"Р'"ь, 410 \B^}^j. сована с f^'j vr . есаи ni Л —^ С1ед>е Б =0 и из

^1^^д + / ^^Д + / -* сле^^ует ^-e^^^/ß^^^) . Я.но, что еспи

Ш^«1^Л --Ч- со,л.сован.с[4.^

Конечную пос тедовате хъносгь lyl'j^^j' арифме^иче^^ких множеств назовем универсл ibHOi-i, ce ш к «си /7г~сводится тюоая со1ласо- ванная с ней последоватетьностг Из счедующеи пеммы вытекает,

чго свойство универсально!.!и з ibhcht тишь -^i семейства * i ^C/'j и не зависит ог "нумерации" г\—>Pi » . Это ^ает основание говорить датее об универсачьиых ce^ieni^Tbay множесгв

1ЬММ^ 2. 1 Ес^и lCi]^^j с.г. асов.Hl с [А^]-^ иА^'ПА^'-= А^ .

г J С^П и*== 0^ ^) î^cnu IPf' ' t€fj-\p*fj£jj и [ßlJ универсаль-

н^ , m J \jU') универсальна

ЮКАЗАГЕТЬС ТЬО I) Множества /). /^ i^ »попарно не каются и в объединении дают СО - Поэтом^ п'Г\ п/=^ U)A ' h/^J'^-^J^ fy = ид и равенство Л/ПД/ = Лл. равносильно то-

му , что при всех J^I \\з hjT у С1ед\е1 |^^< 7j~v/-*"^ ><£t/, Носко 1ьку анаюгичные > гверждения справед 1ивы и дня \СЛ > осга-

е1ся проверить, что из L ф (f с тедуе! j 2'^ 7 jQ J '*-* К£ J . Но эго выгекаег из coi ысоваьнсиги \us\ с (л'}

2 ) Пус1Ь {pj jUj ^^i iccoeana с \S*] , a ф> нкциит/,'/~*ч/

i\ Q \ J—^ J laKOBbi, 4io/|, ~jO/),^ ''^ B'"^ An {:-) Го1да постедо-

ÎP \ ^ h к Äff 1

BaieibHOcrb [^6^.^j.^j согтасованас Щ]~- \p^^i{l i^J -Поэ-

1 ому наидеюя о р.ф. lb , /72^-сводящая Л M к (j?/'/jf)j rj. 1 стедует, чго6у~(/о. ^фи j?» = Л , 7^/С i7 . По атому /^ сводит (6yj к [pyj , I ^ b^yj универсальна.

ILMMA 3. £г-/и Si - ^^ нечн ( ^н^Аверсадьн с ccj^pucme ариф- J г та ect^ur jAh ecnr , m ikj с mh up erre ^ 24 з 0 (Jrj'^ù^^*^/ /71-

10K\J\lij ] bC ГВО. n\L-h X^S^i^J'^S (jf^) . ^'^ <^/i(^^^2^^j

потучаем л ^ ^^ . Остается npopepnib, чго Y^^ Л при Y^ Z<^ # По leMMe 1 наидеюя С -дерево {J^^J Аля X . По предложению 2

и свойству 4 из [jil , существуют такие множества UL, б'€ ,

чтоПф - сд .Щ^и^ прибег Ме- пр^\б]>\С],1/е,^е2^^^^

при\б\<\С\и К<г ,U^l/g^^0 и Y=ü^^^ , где4/ =

= ^./^....' ^<'