Записки научных семинаров ЛОМИ
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Общая информация
Последний выпуск
Архив
Импакт-фактор
Поиск публикаций
Поиск ссылок
RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS
Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти
Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация
1967, том 4
|
Общая информация
|
Содержание
|
Исследования по конструктивной математике и математической логике. I
Предисловие редактора
А. О. Слисенко
7
Метод установления выводимости в классическом исчислении предикатов
Г. В. Давыдов
8–17
О корректировании недоказуемых формул
Г. В. Давыдов
18–29
Интеграл Лебега в конструктивном анализе
О. Демут
30–43
Достаточные условия неполноты для формализаций частей арифметики
Н. К. Косовский
44–57
Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами
В. А. Лифшиц
58–64
Некоторые классы сведения и неразрешимые теории
В. А. Лифшиц
65–68
Дедуктивная общезначимость и классы сведения
В. А. Лифшиц
69–77
Проблема разрешимости для некоторых конструктивных теорий равенства
В. А. Лифшиц
78–85
О конструктивных группах
В. А. Лифшиц
86–95
Обратимый секвенциальный вариант конструктивного исчисления предикатов
С. Ю. Маслов
96–111
Подбор термов в кванторных правилах конструктивного исчисления предикатов
Г. Е. Минц
112–122
Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов
Г. Е. Минц
123–133
Варьирование тактик поиска вывода в секвенциальных исчислениях
Г. Е. Минц
134–151
Погружающие операции, связанные с "семантикой" С. Крипке
Г. Е. Минц
152–159
О погружающих операциях
Г. Е. Минц, В. П. Оревков
160–167
Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную предикатную переменную
В. П. Оревков
168–173
Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода
Р. А. Плюшкевичус
174–188
О секвенциальных вариантах прикладных исчислений предикатов
М. Г. Рогава
189–200
0 максимальных регуляторах непрерывности конструктивных функций
А. О. Слисенко
201–208
О представимости алгорифмически разрешимых предикатов машинами Рабина
Р. И. Фрейдзон
209–218
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2025