Разрешения Проблема

то же, что Сколема функция. ..

д е с и н г у л я р и з а ц и я,- замена особого алгебраич. Многообразия на бирационально изоморфное неособое многообразие. Более точно, Р. О. Алгебраич. Многообразия Xнад основным полем kназ. Собственный бирациональный морфизм такой, что многообразие неособое (гладкое). Аналогично определяется Р. О. Схемы, комплексно-аналитического пространства и т. Д. Существование Р. О. Позволяет сводить многие вопросы к неособым многообразиям, при изучении к-рых можно использовать теорию пересечений и апп..

- группа, обладающая конечным субнормальным рядом с абелевыми факторами (см. Подгрупп ряд). Она также обладает нормальным рядом с абелевыми факторами (такие ряды наз. Р а зр е ш и м ы м и). Длина кратчайшего разрешимого ряда группы наз. Ее д л и н о й, или с т у п е н ь ю р а з р е ш и м о с т и. Важнейшим из таких рядов является ряд коммутантов, или производный ряд (см. Коммутант группы). Термин "Р. Г." возник в теории Галуа и связан с разрешимостью алгебраич. Уравнений в радикалах. Конечные..

(в данной системе) - такая формула Аданной формальной системы, что либо она доказуема в этой системе (т. Е. Является теоремой), либо опровержима (т. Е. Доказуемо ее отрицание ). Если всякая замкнутая формула данной формальной системы разрешима в ней, то такая система наз. П о л н о й. (Следует заметить, что нельзя требовать, чтобы в системе были разрешимы все формулы, а не только замкнутые. Так, формула х=0, где х- переменная для натуральных чисел, не выражает ни истинное, ни ложное суждение..