книги из ГПНТБ / Кушнер, Б. А. Лекции по конструктивному математическому анализу

[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 . )

[2]Remarques sur les operateurs recursifs et sur les fonctions recursives d'une variable reelle, там же 241, № 19 (1955), 1250— 1252.

[3] Quelques proprietes d'Analyse recursive, там же 244, № 7 (1957), 838—840; № 8 (1957), 996—997.

[4]Les ensembles recursivement ouverts ou fermes et leurs appli­ cations a l'Analyse recursive, там же 245, № 13 (1957), 1040— 1043; 246, № 1 (1958), 28—31.

[1]On primitive recursive real numbers, Fundam. Math. 49 (1961), 105—118.

Ли ф ш и ц В. А.

[1]О конструктивных группах, Зап. научн. семинаров Ленингр.

отд. Матем. ин-та АН СССР им. В. А. Стеклова 4 (1967), 86—95.

[2] О конструктивных аналитических функциях одной веществен­ ной переменной, там же 8 (1968), 121—131.

[3]О множестве нулей конструктивного степенного ряда в веще­ ственной области, там же 16 (1969), 114—125.

[4] Об исследовании конструктивных функций методом запол­ нений, там же 20 (1971), 67—79.

[5] Локально аналитическая конструктивная функция, не являю­ щаяся аналитической, ДАН СССР 202, № 6 (1972), 1265— 1267.

Л о р е н ц А. А.

Лю с i e p н и к Л. А., С о б о л е в В. И.

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

[3] Исправления и дополнения к статье «О предикатных и опера­

[1]Recursive metric spaces, Fundam. Math. 55, № 3 (1964), 215— 238.

[2] Notation systems and recursive ordered fields, Compositio Math. 17 (1965), 40—71.

Мо с т о в с к и й ( M o s t o w s k i A . )

[1]Современное состояние исследований по основаниям матема­ тики, УМН 9, № 3 (61) (1954), 3—38.

[2]On computable sequences, Fundam. Math. 44, № 1 (1957), 37— 51.

[3]On various degrees of constructivism, Constructivity in mathe­

[2]Соотношения между некоторыми классами эффективно топо­ логических пространств, Матем. заметки б, № 4 (1969), 483— 495.

[3]Об одной теореме Московакиса, Труды 1-й конференции мо­

(1]Конструктивное отображение квадрата в себя, сдвигающее каждую конструктивную точку, ДАН СССР 152, № 1 (1963), 55—58.

[3]Некоторые вопросы теории полиномов с конструктивными ве­ щественными коэффициентами, там же, 462—487.

ров, там же, 164—186.

[6]Некоторые свойства гомеоморфизмов конструктивных метри­ ческих пространств, Зап. научн. семинаров Ленингр. отд. Ма­

тем. ин-та АН СССР им. В. А. Стеклова 16 (1969), 157—164.

[7]Эквивалентность двух определений непрерывности, там же 20 (1970), 145—159.

[8]О непрерывности конструктивных функционалов, там же, 160—169.

Пе т е р (Р е t е г R.)

fields, Trans. Amer. Math. Soc. 95, № 2 (1960), 341—360.

Ра й е ( R i c e H . G.)

[1]Recursive real numbers, Proc. Amer. Math. Soc. 5, № 5 (1954), 784—791.

Ру д и н (Ru d i n W.)

[1]Principles of mathematical analysis, McGraw-Hill Book Com­

pany, 1964. [Русский перевод: Р у д и н У., Основы математи­ ческого анализа, «Мир», 1966.]

Ск а р п е л л и н и ( S c a f p e l l i n i В.)

[1]Zwei unentscheidbare probleme der Analysis, Z. math. Logik Grundl. Math. 9 (1963), 265—289.

Сл и с е н к о А. О.

[1]О некоторых свойствах арифметических операций над дуплек­ сами, ДАН СССР 152, № 2 (1963), 292—295.

[2]О некоторых алгорифмических задачах, связанных с арифме­

[3]Пример неразрывного, но не непрерывного конструктивного оператора в метрическом пространстве, там же, 524—532.

[4]О конструктивных несепарабельных пространствах, там же, 533—536.

[5]О максимальных регуляторах непрерывности конструктивных функций, Зап. научн. семинаров Ленингр. отд. Матем. ин-та АН СССР им. В. А. Стеклова 4 (1967), 201—208.

[6] Арифметические операции на некоторых множествах дуплек­ сов, Труды Матем. ин-та АН СССР им. В. А. Стеклова 93, «Наука», 1967, 187—207.

[7]О построении максимальных регуляторов непрерывности кон­ структивных функций, там же, 208—249.

[2]Recursion theory and Dedekind cuts, Trans. Amer. Math. Soc. 140 (1969), 271—294.

[1]On computable numbers, with an application to the Entscheidungsproblem, Proc. Lond. Math. Soc, ser. 2, 42 (1936), 230—265.

[2]A correction, там же 43 (1937), 544—546.

У а й т х е д , Р а с с е л ( W h i t e h e a d A., R u s s e l l В.)

[1]Principia mathematica, vol. 1, London, 1910.

[2]Principia mathematica, vol. 2, London, 1912.

[3]Principia mathematica, vol. 3, London, 1913.

Ус п е н с к и й В. A.

[1] К теореме о равномерной непрерывности, УМН 12, № 1 (1957), 99—142.

[2]К вопросу о соотношении между различными системами кон­ структивных действительных чисел, Изв. высш. учебн. заведе­ ний, Математика, № 2 (15) (1960), 199—208.

[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.