Предикаты реализуемости для теории множеств.
##plugins.themes.bootstrap3.article.sidebar##
Published:
31.10.2001
##plugins.themes.bootstrap3.article.main##
Abstract
В [1] А.Г.Драгалин предложил метод получения одних моделей типа реализуемости для интуиционистской арифметики из других. Мы предлагаем аналогичный метод для теории множеств с интуиционистской логикой ZFEDC (точная формулировка может быть найдена в [2]).
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Khakhanian V. Предикаты реализуемости для теории множеств. // Logicheskie Issledovaniya / Logical Investigations. 2001. VOL. 8. C. 217-223.
Issue
Section
Papers
References
Драгалии А.Г. Новые виды реализуемости и правило Маркова //ДАН СССР, 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.