Зап. научн. сем. ЛОМИ, 1972, том 32

ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив

1972, том 32

Содержание

Исследования по конструктивной математике и математической логике. V

	О соотношении классического и конструктивного вариантов построения математического анализа М. Г. Гельфонд		5
	Изменение сложности функций при применении кратной рекурсии Е. Я. Данцин		12
	О соотношении сноп-пространств и нумерованных множеств со свойством $C_2^*$ Ю. Л. Ершов		18
	Некоторые свойства решений уравнений в свободной полугруппе Н. К. Косовский		21
	О распознавании инвариантных свойств алгорифмов Н. К. Косовский		29
	Распознавание самопересечения плоской траектории алгорифмом Колмогорова М. В. Кубинец		35
	Метаматематическая интерпретация теоремы о веерах В. А. Лифшиц		45
	Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве В. А. Лифшиц, В. П. Чернов		53
	О поиске вывода в исчислениях общего типа С. Ю. Маслов		59
	Вероятностные канонические исчисления С. Ю. Маслов, Е. Д. Русаков		66
	Арифметические представления перечислимых множеств с небольшим числом кванторов Ю. В. Матиясевич		77
	Производность допустимых правил Г. Е. Минц		85
	Теорема об устранимости сечения для релевантных логик Г. Е. Минц		90
	Одна специализация формы вывода в генценовских исчислениях и ее приложения В. П. Оревков		98
	Некоторые свойства графиков функций иерархии Гжегорчика С. В. Пахомов		105
	Распространение обратного метода на аксиоматические теории с равенством А. Ю. Плюшкевичене		108
	Исчисление равенств для примитивно рекурсивных рациональнозначных функций М. Х. Фахми		116
	Семейства рекурсивных предикатов нулевой меры Р. И. Фрейдзон		121
	Топологические варианты теоремы о непрерывности отображений и родственных теорем В. П. Чернов		129
	О конструктивных операторах конечных типов В. П. Чернов		140
	Классификация пространств операторов конечных типов В. П. Чернов		148