Файл: Кушнер, Б. А. Лекции по конструктивному математическому анализу.pdf

[4] Интеграл Лебега и понятие измеримости функций в кон­ структивном анализе, Зап. научн. семинаров Ленингр. отд.

Матем. ин-та АН СССР им. В. А. Стеклова 8 (1968), 21—28.

[5] Связь интегрируемости конструктивных функций по Риману

и Лебегу, там же, 29—45.

[6]Пространства 3?г и S в конструктивной математике, Com­ ment. Math. Univ. Carolinae 10 (1969), 261—284.

[7]Об измеримости множеств по Лебегу в конструктивной ма­ тематике, там же, 463—492.

[8]О дифференцируемости конструктивных функций, там же, 167—175.

[9]Линейные функционалы в конструктивных пространствах 9?т, там же, 357—390.

[10]Теоремы о среднем значении для конструктивного интеграла Лебега, там же 11 (1970), 249—269.

[11] О представимости функций слабо ограниченной вариации, там же, 421—434.

[12] Об интегрируемости производных от конструктивных функ­ ций, там же, 667—691.

[13]Необходимое и достаточное условие абсолютной непрерыв­ ности конструктивных функций, там же, 705—726.

[14]О суперпозициях абсолютно непрерывных конструктивных функций, там же 12 (1971), 423—451.

[15]Необходимое и достаточное условие представимости кон­

Де т л о в с В. К.

[1]Эквивалентность нормальных алгорифмов и рекурсивных функций, Труды Матем. ин-га АН СССР им. В. А. Стеклова 52, Изд. АН СССР, 1958, 75—139.

З а с л а в с к и й И. Д.

[1] Опровержение некоторых теорем классического анализа в кон­

[5]О некоторых различиях между базисными и подчиненными переменными в логико-математических языках, Сб. «Матема-' тические вопросы кибернетики и вычислительной техники», Ереван, 1963, 13—29.

[6]О дифференцировании и интегрировании конструктивных функций, ДАН СССР 156, № 1 (1964), 25—27.

[7]О спрямляемости конструктивных плоских кривых, ИАН Арм. ССР, сер. матем. 2, № 2 (1967), 69—82.

[3]Berechenbare Reihen, там же 6 (1961), 143—161.

[4]Konstrunktive Analysis, Mathematische Forschungsberichte, X I , Berlin, 1961.

Кл и в (С 1 е a v е J.)

[1]The Primitive Recursive Analysis of Ordinary Differential Equa­

[3]A note on computable functionals, Proc. Konikl. nederl. akad. wet. A59, № 3 (1956), 275—280.

[2]Zur Deutung der intuitionistischen Logik, Math. Z. 35 (1932), 58—65.

К о л м о г о р о в А. Н., Ф о м и и С. В.

[1]Элементы теории функций и функционального анализа, «На­ ука», 1972.

[2]Интегрируемые f^-конструкты над вероятностным простран­ ством, там же, 97—104.

[3]Законы больших чисел в конструктивной теории вероятностей, там же, 105—113.

[4]Некоторые вопросы конструктивной теории нормированных алгебр Буля, Труды Матем. ин-та АН СССР им. В. А. Стеклова 113, «Наука», 1970, 3—38.

К р а й з е л , Л а к о м б ( K r e i s e l G., L a c o m b e D.)

[1]Ensembles recursivement mesurables et ensembles recursivement ouverts ou fermes, Compt. rend. Acad. sci. Paris 245, № 14

[I] Исследование частично-рекурсивных операторов средствами бэ-

[I]Слабая сходимость в конструктивной математике, Comment. Math. Univ. Carolinae 11 (1970), 285—308.

[2] Достаточные условия нормируемости линейных операторов

вконструктивной математике, там же 12 (1971), 2.

Ку ш н е р Б. А.

2, № 2 (1967), 157—166.

[7]Некоторые примеры квазиплотных, но не плотных множеств дуплексов, Зап. научн. семинаров Ленингр. отд. Матем. ин-та

АН СССР им. В. А. Стеклова 8 (1968), 95—102.

[8] Замечание об областях определения конструктивных функ­ ций, там же, 103—106.

[9] Некоторые массовые проблемы, связанные с интегрированием конструктивных функций, Труды Матем. ин-та АН СССР

им. В. А. Стеклова 113, «Наука», 1970, 39—72.

[10]Покрытия сепарабельных множеств, Исследования по теории алгорифмов и математической логике, I , ВЦ АН СССР, 1973, 235—246.

Ку ш н е р Б. А., Ц е й т и н Г. С.

[1]Некоторые свойства Лчисел, Зап. научн. семинаров Ленингр. отд. Матем. ин-та АН СССР им. В. А. Стеклова 8 (1968), 107—120.

Ла к о м б ( L a c o m b e D . )