RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Скоро в журнале
Архив
Импакт-фактор
Правила для авторов
Лицензионный договор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды МИАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2003, том 242  

| Общая информация | Содержание |


Математическая логика и алгебра


Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова

От редактора тома
С. И. Адян
5
О простых кватернионах, соотношениях Гурвица и новой операции расширения групп
С. И. Адян, Ф. Груневальд, Й. Меннике
7
Нижние оценки для полиномиального исчисления в случае идеалов, отличных от биномиальных
М. В. Алехнович, А. А. Разборов
23
Погружение модального $\lambda$-исчисления в логику доказательств
С. Н. Артемов
44
Бескванторная индукция и принцип наименьшего числа
Л. Д. Беклемишев
59
Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего
Н. К. Верещагин, Д. П. Скворцов, Е. З. Скворцова, А. В. Чернов
77
Диофантово представление чисел Бернулли и его приложения
Ю. В. Матиясевич
98
Условия конечности для алгебр отношений
А. Л. Семёнов
103
О задании булевой функции по ее значениям в ограниченном числе областей
А. В. Чашкин
108
О пренексном фрагменте логики доказуемости с кванторами по доказательствам
Р. Э. Яворский
123
Note on a Translation to Characterize Constructivity
M. Baaz
136
Full and Uniform Sequences
A. Carpi, A. de Luca
141
Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics
U. Kohlenbach, P. Oliva
147
Algebras with the Same (Algebraic) Geometry
B. I. Plotkin
176
Труды Математического института им. В. А. Стеклова Proceedings of the Steklov Institute of Mathematics
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019