Khakhanyan Valery Khristoforovich

Publications in Math-Net.Ru

1. Independence of the uniformity principle from Church's thesis in intuitionistic set theory
   
   Izv. RAN. Ser. Mat., 77:6 (2013),  207–222
2. A Functional Algebraic Model Equivalent to Kleene"s Slash Realizability
   
   Mat. Zametki, 75:1 (2004),  155–156
3. Independence of the partial axiom of choice of intuitionistic set theory
   
   Uspekhi Mat. Nauk, 52:4(316) (1997),  219–220
4. An intuitionistic proof of the consistency of Church's thesis with set theory
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1993, no. 3,  78–80
5. Independence of the “collection” axiom from the principle “DC” in intuitionistic set theory
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1993, no. 2,  81–83
6. Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory
   
   Mat. Zametki, 43:5 (1988),  685–691
7. The consistency of intuitionistic set theory with formal mathematical analysis
   
   Dokl. Akad. Nauk SSSR, 253:1 (1980),  48–52
8. The comparative strength of variants of Church's thesis at the level of set theory
   
   Dokl. Akad. Nauk SSSR, 252:5 (1980),  1070–1074