Предикаты реализуемости для теории множеств.
Article Sidebar
Опубликован:
31.10.2001
Main Article Content
Аннотация
В [1] А.Г.Драгалин предложил метод получения одних моделей типа реализуемости для интуиционистской арифметики из других. Мы предлагаем аналогичный метод для теории множеств с интуиционистской логикой ZFEDC (точная формулировка может быть найдена в [2]).
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Хаханян В. Предикаты реализуемости для теории множеств. // Логические исследования / Logical Investigations. 2001. Т. 8. C. 217-223.
Выпуск
Раздел
Статьи
Литература
Драгалии А.Г. Новые виды реализуемости и правило Маркова //ДАН СССР, 1980.- т.251, № 3.- С.534-537
Му hill J. Some properties of intuitionistic Zermelo-Fraenkel set theory // Lecture Notes in Mathematics. 1973. V. 337. P.206-231.
Khakhanian V. The Markov’s Rule is admissible in the Set Theory with Intuitionistic Logic // Lecture Notes in Computer Science, 1997. V. 1289. P. 163-167.
Smorynski C.A. Application of Kripke models // Lecture Notes in Mathematics. 1973. V. 344. P. 324-391.
Му hill J. Some properties of intuitionistic Zermelo-Fraenkel set theory // Lecture Notes in Mathematics. 1973. V. 337. P.206-231.
Khakhanian V. The Markov’s Rule is admissible in the Set Theory with Intuitionistic Logic // Lecture Notes in Computer Science, 1997. V. 1289. P. 163-167.
Smorynski C.A. Application of Kripke models // Lecture Notes in Mathematics. 1973. V. 344. P. 324-391.