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

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

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



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






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


1964, том 8, выпуск 5  


Экзистенциальная выразимость в арифметике
Джулия Робинсон
3
Арифметические проблемы и рекурсивно-перечислимые предикаты
Мартин Дэвис
15
Арифметическое представление рекурсивно-перечислимых множеств
Рафаэль М. Робинсон
23
Редукции десятой проблемы Гильберта
Мартин Дэвис, Хилэри Путнам
49
Об одной неразрешимой проблеме арифметики
Хилэри Путнам
55
Проблема разрешимости для показательно-диофантовых уравнений
Мартин Дэвис, Хилэри Путнам, Джулия Робинсон
69
Применения и следствия из последней работы по десятой проблеме Гильберта
Мартин Дэвис
80
Диофантовы множества в полиномиальных кольцах
М. Дэвис, Х. Путнам
85
Промежуточные задачи и максимально-минимальная теория собственных значений
А. Вайнштейн
91
Квадратичные формы на векторных пространствах
Н. Ароншайн
102
Направления математических исследований в теории нелинейных цепей
Р. Беллман
156
Математика
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021