|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О некоторых расширениях арифметики сложения натуральных чиселстатья
- Автор: Семёнов Алексей Львович
- Журнал: Известия АН СССР. Серия математическая
- Том: 43
- Номер: 5
- Год издания: 1979
- Первая страница: 1175
- Последняя страница: 1195
- Аннотация: В работе изучаются вопросы выразимости и разрешимости для элементарных теорий, получаемых расширением арифметики порядка и арфиметики сложения натуральных чисел. Получены результаты о разрешимости и неразрешимости элементарных теорий конкретных структур вида ⟨N;+,P⟩, где P – фиксированный одноместный предикат, и о классе множеств, определимых в теории T⟨N;+,λx,∃y(x=dy)⟩.
- Добавил в систему: Золин Евгений Евгеньевич