|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
О гиперарифметической реализуемостистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 20 апреля 2016 г.
- Авторы: Коновалов Александр Юрьевич, Плиско Валерий Егорович
- Журнал: Математические заметки
- Том: 98
- Номер: 5
- Год издания: 2015
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 725
- Последняя страница: 746
- DOI: 10.4213/mzm10735
- Аннотация: Вводится понятие гиперарифметической реализуемости для различных рас- ширений языка формальной арифметики. Исследуется вопрос о корректности классической, интуиционистской и базисной логики относительно семантики, основанной на гиперарифметической реализуемости. Библиография: 8 названий.
- Добавил в систему: Плиско Валерий Егорович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | matzam_hr.pdf | 286,5 КБ | 19 февраля 2019 [konoval] |