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