RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив
Матем. заметки, 1977, том 21, выпуск 1, страницы 109–116 (Mi mzm7935)
О некоторых теоремах анализа в формальной системе Клини–Весли

М. А. Хачатрян

Вычислительный центр АН Арм. ССР

Аннотация: Доказывается, что в формальной системе интуиционистского анализа Клини–Весли не выводимы и не опровержимы теоремы о верхней грани и о среднем значении функций. Библ. 5 назв.

УДК: 517.1

Поступило: 06.06.1974


 Англоязычная версия: Mathematical Notes, 1977, 21:1, 60–64

Реферативные базы данных:

© МИАН, 2024