Иммерсия

- один из пяти правильных многогранников. И. Имеет 20 граней (треугольных), 30 ребер, 12 вершин (в каждой вершине сходятся 5 ребер). Если а- длина ребра И., то его объем . ..

- трехмерное пространство, являющееся пространством орбит действия бинарной группы икосаэдра на трехмерной сфере. Открыто А. Пуанкаре как пример гомологич. Сферы рода 2 при рассмотрении Хегора диаграмм. И. П. Является разветвленным p-листным накрытием S3 с ветвлением вдоль торического узла типа (q,r), где р, q, r любая перестановка чисел 2, 3, 5. Аналитически И. П. Может быть задано как пересечение поверхности в С 2 с единичной сферой. Наконец, И. П. Может быть отождествлено с додекаэдра ..

- бесконечное множество натуральных чисел, не содержащее бесконечных рекурсивно перечислимых подмножеств. В частности, само И. М. Не является рекурсивно перечислимым. И. М. По своей насыщенности рекурсивно перечислимыми подмножествами в известном смысле противоположны продуктивным множествам. Рекурсивно перечислимые множества с иммунными дополнениями наз. Простыми и образуют один из важных классов нерекурсивных рекурсивно перечислимых множеств. Типы рекурсивной эквивалентности иммунных и конечн..

Пропозициональная форма вида где все С i, i=1, . , п, имеют вид каждое С ij, i=1, . ., п. J=1, . ., т i, есть либо переменная, либо отрицание переменной, и есть логич. Символ, обозначающий ложь. Для всякой пропозициональной формулы Аможно построить классически эквивалентную ей И. Н. Ф. В, содержащую те же переменные, что и А. Такая формула Вназ. И. Н. Ф. Формулы А. Лит.:[1] Чёрч А., Введение в математическую логику, пер. С англ., т. 1, М., 1960. С. И. Соболев.. ..