Интуиционистская арифметика с принципами Маркова и P
Article Sidebar
Опубликован:
04.12.2007
Main Article Content
Аннотация
Рассмотрим теорию HA + M + P, где M - принцип Маркова (любой, см. [1]), P - следующий, классически верный принцип $(\neg\varphi \rightarrow \exists x \psi (x)) \rightarrow \exists x(\neg \varphi \rightarrow \psi(x))$ (также см. [1]). Мы доказываем, что такая теория имеет численную экзистенциальность (и, конечно, дизъюнктивность), и получаем некоторые следствия из этого факта.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Хаханян В. Интуиционистская арифметика с принципами Маркова и P // Логические исследования / Logical Investigations. 2007. Т. 14. C. 283-285.
Выпуск
Раздел
Статьи
Литература
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М., 1979.
Kleene S.C. Realizability: a retrospective survey // Lecture Notes in Mathematics. 1973. № 337. P. 95-112 (см. стр. 96).
Kreisel G. The non-derivability $\neg(x)A(x) \rightarrow (Ex)\neg A(x)$, $A$ primitive recersive, in intuitionistic formal systems (abstract) // The Journal of Symbolic Logic. 1958. Vol. 23. № 4. P. 456-457.
Kleene S.C. Realizability: a retrospective survey // Lecture Notes in Mathematics. 1973. № 337. P. 95-112 (см. стр. 96).
Kreisel G. The non-derivability $\neg(x)A(x) \rightarrow (Ex)\neg A(x)$, $A$ primitive recersive, in intuitionistic formal systems (abstract) // The Journal of Symbolic Logic. 1958. Vol. 23. № 4. P. 456-457.