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

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

1971, том 20

Содержание

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

	Предисловие редакторов Ю. В. Матиясевич, А. О. Слисенко		7
	Об одном классе реализуемых формул логики высказываний Ф. Л. Варпаховский		8
	Синтез метода резолюций с обратным методом Г. В. Давыдов		24
	Еще один конструктивный вариант теоремы Коши И. Д. Заславский, Г. С. Цейтин		36
	О реализациях предикатных формул М. М. Кипнис		40
	О диофантовых представлениях последовательности решений уравнения Пелля Н. К. Косовский		49
	Об алгорифмических последовательностях из начального класса иерархии Гжегорчика Н. К. Косовский		60
	Об исследовании конструктивных функций методом заполнений В. А. Лифшиц		67
	Распространение обратного метода на исчисление с равенством С. Ю. Маслов		80
	Достаточное условие сходимости монотонных последовательностей Ю. В. Матиясевич		97
	О распознавании в реальное время отношения вхождения Ю. В. Матиясевич		104
	Бескванторные и однокванторные системы Г. Е. Минц		115
	Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики Г. Е. Минц		134
	Эквивалентность двух определений непрерывности В. П. Оревков		145
	О непрерывности конструктивных функционалов В. П. Оревков		160
	О биконъюнктивных классах сведения В. П. Оревков		170
	О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством А. Ю. Плюшкевичене		175
	Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера А. Ю. Плюшкевичене		186
	Одно свойство перечислимых множеств, содержащих “сложно выводимые” формулы А. О. Слисенко		200
	О некотором ослаблении интуиционистской логики Ю. Н. Толстова		208
	Регулярные аппроксимации рекурсивных предикатов Р. И. Фрейдзон		220
	Приведенная форма нормальных алгорифмов и теорема о линейном ускорении Г. С. Цейтин		234
	Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов Г. С. Цейтин		243
	Псевдофундаментальная последовательность, не эквивалентная монотонной Г. С. Цейтин		263
	Некоторые вопросы графической регулярности А. И. Шкловский		272