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

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

1967, том 4

Содержание

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

	Предисловие редактора А. О. Слисенко		7
	Метод установления выводимости в классическом исчислении предикатов Г. В. Давыдов		8
	О корректировании недоказуемых формул Г. В. Давыдов		18
	Интеграл Лебега в конструктивном анализе О. Демут		30
	Достаточные условия неполноты для формализаций частей арифметики Н. К. Косовский		44
	Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами В. А. Лифшиц		58
	Некоторые классы сведения и неразрешимые теории В. А. Лифшиц		65
	Дедуктивная общезначимость и классы сведения В. А. Лифшиц		69
	Проблема разрешимости для некоторых конструктивных теорий равенства В. А. Лифшиц		78
	О конструктивных группах В. А. Лифшиц		86
	Обратимый секвенциальный вариант конструктивного исчисления предикатов С. Ю. Маслов		96
	Подбор термов в кванторных правилах конструктивного исчисления предикатов Г. Е. Минц		112
	Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов Г. Е. Минц		123
	Варьирование тактик поиска вывода в секвенциальных исчислениях Г. Е. Минц		134
	Погружающие операции, связанные с "семантикой" С. Крипке Г. Е. Минц		152
	О погружающих операциях Г. Е. Минц, В. П. Оревков		160
	Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную предикатную переменную В. П. Оревков		168
	Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода Р. А. Плюшкевичус		174
	О секвенциальных вариантах прикладных исчислений предикатов М. Г. Рогава		189
	0 максимальных регуляторах непрерывности конструктивных функций А. О. Слисенко		201
	О представимости алгорифмически разрешимых предикатов машинами Рабина Р. И. Фрейдзон		209