RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
1976, том 60
| Общая информация | Содержание | Список цитирования |


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


Итеративное описание класса $\varepsilon^1$ иерархии Гжегорчика
А. П. Бельтюков 		3
Разрешимость универсальной теории натуральных чисел со сложением и делимостью
А. П. Бельтюков 		15
Алгорифмы Колмогорова сильнее машин Тьюринга
Д. Ю. Григорьев 		29
Использование понятий отделенности и независимости для получения нижних оценок сложности схем
Д. Ю. Григорьев 		38
Об аппроксимативном варианте понятия конструктивной аналитической функции
Е. Я. Данцин 		49
О конструктивных функциях распределения
Н. К. Косовский 		59
Отношение поглощения на регулярных множествах
С. Ю. Маслов 		65
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
Ю. В. Матиясевич 		75
Что можно сделать в ПРА
Г. Е. Минц 		93
Об аппроксимации классов сведения УИП разрешимыми классами
С. А. Норгела 		103
Разрешимые классы псевдопредваренных формул
В. П. Оревков 		109
Аппроксимируемость операторов в конструктивных метрических пространствах
С. В. Пахомов 		171
Иерархии операторов в конструктивных метрических пространствах
С. В. Пахомов 		183
Непрерывность операторов в сепарабельных конструктивных метрических пространствах
С. В. Пахомов 		194
О распознавании тавтологичности пропозициональных формул
П. Ю. Суворов 		197
Пример конструктивного отделимого пространства с неотделимым пополнением
В. П. Чернов 		207
О кванторе предельной осуществимости
Н. А. Шанин 		209

© МИАН, 2025