ИЗОЛЬ это:

ИЗОЛЬ

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

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


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ИЗОЛЬ" в других словарях:

  • изольёт(ся) — [излить(ся)] …   Словарь употребления буквы Ё

  • излить — излить, изолью, изольём, изольёшь, изольёте, изольёт, изольют, излил, излила, излило, излили, излей, излейте, изливший, излившая, излившее, излившие, излившего, излившей, излившего, изливших, излившему, излившей, излившему, излившим, изливший,… …   Формы слов

  • излиться — излиться, изольюсь, изольёмся, изольёшься, изольётесь, изольётся, изольются, излился, излилась, излилось, излилось, излились, излились, излейся, излейтесь, излившийся, излившаяся, излившееся, излившиеся, излившегося, излившейся, излившегося,… …   Формы слов

  • изолью — ИЗОЛЬЮ, изольюсь, изольёшь, изольёшься. буд. вр. от излить, излиться. Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 …   Толковый словарь Ушакова

  • излить — изл ить, изоль ю, изольёт; прош. вр. ил, ил а, ило, ил ось …   Русский орфографический словарь

  • излиться — изл иться, изоль юсь, изольётся; прош. вр. ился, ил ась, ил ось …   Русский орфографический словарь

  • изли́ть — изолью, изольёшь; прош. излил, ла, ло; повел. излей; прич. страд. прош. излитый, лит, а, о; сов., перех. (несов. изливать). 1. устар. Вылить, пролить. Излить потоки слез. 2. перен. Выразить, высказать что л., дать выход каким л. мыслям, чувствам …   Малый академический словарь

  • изли́ться — изольюсь, изольёшься; прош. излился, лилась, лилось и лилось; повел. излейся; сов. (несов. изливаться). 1. Вылиться, вытечь. [Я] приехал по поверхности длинной гривы , представлявшей старый поток лавы базальта, некогда излившейся из трещины на… …   Малый академический словарь

  • изли́ть — излить, изолью, изольёшь; излил, лила, лило, лили …   Русское словесное ударение

  • изли́ться — излиться, изольюсь, изольёшься; излился, лась, лось, лись …   Русское словесное ударение


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»