|
Эта публикация цитируется в 12 научных статьях (всего в 12 статьях)
О гиперарифметической реализуемости
А. Ю. Коновалов, В. Е. Плиско Московский государственный университет имени М.В.Ломоносова
Аннотация:
Вводится понятие гиперарифметической реализуемости
для различных расширений языка формальной арифметики.
Исследуется вопрос о корректности классической,
интуиционистской и базисной логики относительно семантики,
основанной на гиперарифметической реализуемости.
Библиография: 8 названий.
Поступило: 13.03.2015
Образец цитирования:
А. Ю. Коновалов, В. Е. Плиско, “О гиперарифметической реализуемости”, Матем. заметки, 98:5 (2015), 725–746; Math. Notes, 98:5 (2015), 778–797
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm10735https://doi.org/10.4213/mzm10735 https://www.mathnet.ru/rus/mzm/v98/i5/p725
|
Статистика просмотров: |
Страница аннотации: | 397 | PDF полного текста: | 166 | Список литературы: | 58 | Первая страница: | 34 |
|