Хаханян Валерий Христофорович

Публикации в базе данных Math-Net.Ru

1. Независимость принципа униформизации от тезиса Чёрча в интуиционистской теории множеств
   
   Изв. РАН. Сер. матем., 77:6 (2013),  207–222
2. Функциональная алгебраическая модель, эквивалентная штрих-реализуемости Клини
   
   Матем. заметки, 75:1 (2004),  155–156
3. Независимость частного случая аксиомы выбора в интуиционистской теории множеств
   
   УМН, 52:4(316) (1997),  219–220
4. Интуиционистское доказательство совместимости тезиса Черча с теорией множеств
   
   Изв. вузов. Матем., 1993, № 3,  78–80
5. Независимость аксиомы «collection» от принципа «DC» в интуиционистской теории множеств
   
   Изв. вузов. Матем., 1993, № 2,  81–83
6. Невыводимость принципа униформизации из тезиса Черча в интуиционистской теории множеств
   
   Матем. заметки, 43:5 (1988),  685–691
7. Непротиворечивость интуиционистской теории множеств с формальным математическим анализом
   
   Докл. АН СССР, 253:1 (1980),  48–52
8. Сравнительная сила вариантов тезиса Чёрча на уровне теории множеств
   
   Докл. АН СССР, 252:5 (1980),  1070–1074