" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ИЗОЛЬ

Значение ИЗОЛЬ в математической энциклопедии:

- рекурсивной эквивалентности тип изолированного (т. е. конечного или иммунного) множества натуральных чисел. Множество всех И. континуально и является полукольцом относительно операций сложения и умножения, определяемых для произвольных типов рекурсивной эквивалентности. Это полукольцо наз. арифметикой И. Последняя обладает рядом свойств арифметики натуральных чисел, в частности в ней выполнены все универсальные хорновские формулы, элементарные подформулы к-рых представляют собой равенство так наз. комбинаторных функций. Примером такой формулы является закон сокращения: X+Z= Y+ZХ=Y. И. рассматриваются как рекурсивные аналоги мощностей конечных по Дедекинду множеств, т. е. множеств, не равномощных никакому своему собственному подмножеству.

А. Л. Семенов.