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

[4]Конструктивные обобщенные функции, там же 174, № 1 (1967), 37—40.

[8]О замкнутых и открытых множествах в конструктивных то­ пологических пространствах, там же, 250—256.

[9] Некоторые вопросы конструктивного функционального анали­ за, Труды Матем. ин-та АН СССР им. В. А. Стеклова ИЗ, «Наука», 1970.

Фе ф е р м а н ( F e f e r m a n S . )

[1]Systems of predicative analysis, J. Symbolic Logic 29, № 1 (1964), 1—30.

Ф и х т е н г о л ь ц Г. M .

[1]Курс дифференциального и интегрального исчисления, т. 1, Физматгиз, 1958.

[2]Курс дифференциального и интегрального исчисления, т. 2, Физматгиз, 1959.

[1]Ein Kriterium fur die Annahme des Maximums in der berechenbaren Analysis, Z. math. Logik Grundl. Math. 17 (1971), 193— 196.

Ха ч а т р я н M . A.

[1]О конструктивных числовых рядах, Математические вопросы

Ц е й т и н Г. С.

[1] О теореме Коши в конструктивном анализе, УМН 10, № 4

(66)(1955), 207—209.

[2]Теорема о вложенных сегментах, теорема Коши и теорема Ролля в конструктивном анализе, Труды 3-го Всесоюзного матем. съезда, т. 1, Изд. АН СССР, 1956, 186—187.

[3] Равномерная рекурсивность алгорифмических операторов над общерекурсивными функциями и каноническое представление для конструктивных функций вещественного аргумента, там же, 188—189.

[4]Алгорифмические операторы в конструктивных полных сепарабельных метрических пространствах, ДАН СССР 128, № 1

(1959), 49—52.

там же, 362—384.

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

лова 72, «Наука», 1964, 69—98.

[8] Три теоремы о конструктивных функциях, там же, 537—543.

[9]Исследования по конструктивному анализу (конструктивные вещественные числа и точечно-определенные функции), Авто­ реферат докт. дисс, Л., 1968.

[10]О верхних границах перечислимых множеств, конструктивных

[1]Особенности конструктивного математического анализа, Меж­ дународный конгресс математиков (Москва, 1966), Тезисы докладов, 1966, 171—177.

[2]Peculiarities of constructive mathematical analysis, Междуна­ родный конгресс математиков (Москва, 1966), Труды, «Мир»,

1968, 253—260.

Ша н и н Н. А.

[1]О конструктивном математическом анализе, Труды 3-го Все­ союзного матем. съезда, т. 2, Изд. АН СССР, 1956, 69—70.

[2]Некоторые вопросы математического анализа в свете кон­ структивной логики, Z. math. Logik Grundl. Math. 2 (1956), 27—36.

[3]Об алгорифме конструктивной расшифровки математических

[5]О линейных конструктивных функционалах в конструктивном гильбертовом пространстве, Z. math. Logik Grundl. Math. 5 (1959), 1—8.

[6]Конструктивные вещественные числа и конструктивные функ­

циональные пространства, Труды Матем. ин-та АН СССР

им. В. А. Стеклова 67, Изд. АН СССР, 1962, 15—294.

[7]К вопросу о конструктивном понимании опорных формул. I , Труды Матем. ин-та АН СССР им. В. А. Стеклова 72, «На­ ука», 1964, 348—379,

440 БИБЛИОГРАФИЯ

[8] О рекурсивном математическом анализе и исчислении арифме­

Ша п и р о (S h а р i г о N. Z.)

[1]Recursively Countable Subsets of Recursive Metric Spaces, Bull.

[3] The fundamental theorem of algebra in recursive analysis, Con­ structive Aspects of the Fundamental Theorem of Algebra. Proc.

[1]О нетривиальных конструктивных отображениях некоторых множеств, ДАН СССР 168, № 1 (1966), 40—42.

[2]О конструктивных множествах с равенством и их отображе­ ниях, там же 173, № 1 (1967), 54—57.

[3] Полные множества с равенством и некоторые их свойства, Зап. научн. семинаров Ленингр. отд. Матем. ин-та АН СССР

им. В. А. Стеклова 8 (1968), 272—280.

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