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

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

1968, том 8

Содержание

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

	Предисловие редактора А. О. Слисенко		7
	Некоторые замечания о поиске вывода в исчислении предикатов Г. В. Давыдов		8
	Интеграл Лебега и понятие измеримости функций в конструктивном анализе О. Демут		21
	Связь интегрируемости конструктивных функций по Риману и по Лебегу О. Демут		29
	Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация А. Г. Драгалин		32
	Словарные операторные алгорифмы А. Г. Драгалин		46
	Конструктивная классификация арифметических предикатов и семантические базисы арифметики М. М. Кипнис		53
	О системе операторов, упрощающих теорию сочетаний $K$-алгорифмов Н. К. Косовский		66
	Построение основных операторов теории сочетаний $K$-алгорифмов из операторов простых типов Н. К. Косовский		80
	Некоторые примеры квазиплотних, но не плотных множеств дуплексов Б. А. Кушнер		95
	Замечание об областях определения конструктивных функций Б. А. Кушнер		103
	Некоторые свойства $F$-чисел Б. А. Кушнер, Г. С. Цейтин		107
	О конструктивных аналитических функциях одной вещественной переменной В. А. Лифшиц		121
	Связь систем уравнений в словах и длинах с 10-й проблемой Гильберта Ю. В. Матиясевич		132
	Две редукции 10-й проблемы Гильберта Ю. В. Матиясевич		145
	Арифметические представления степеней Ю. В. Матиясевич		159
	Свободные от сечения исчисления типа $S5$ Г. Е. Минц		166
	Импликативная сложность аксиоматик Г. Е. Минц		175
	Дизъюнктивная интерпретация исчисления $LJ$ Г. Е. Минц		182
	Допустимые и производные правила Г. Е. Минц		189
	Независимость постулатов натуральных исчислений Г. Е. Минц		192
	Гливенковские классы секвенций В. П. Оревков		196
	Два неразрешимых класса формул классического исчисления предикатов В. П. Оревков		202
	Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций Р. А. Плюшкевичус		211
	Характеристика сложности рекурсивных предикатов, не зависящая от стандартизации понятия алгорифма Р. И. Фрейдзон		225
	О сложности вывода в исчислении высказываний Г. С. Цейтин		234
	О дизъюнктивном ранге формул конструктивной арифметики Г. С. Цейтин		260
	Полные конструктивные множества с равенством и некоторые их свойства В. А. Шурыгин		272