Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Khakhanyan, Valery Khristoforovich
(1946–2014)
Professor
Doctor of philosophical sciences (2004)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)

https://www.mathnet.ru/eng/person17359
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/194513

Publications in Math-Net.Ru Citations
2013
1. V. Kh. Khakhanyan, “Independence of the uniformity principle from Church's thesis in intuitionistic set theory”, Izv. RAN. Ser. Mat., 77:6 (2013),  207–222  mathnet  mathscinet  zmath  elib; Izv. Math., 77:6 (2013), 1260–1275  isi  elib  scopus
2004
2. V. Kh. Khakhanyan, “A Functional Algebraic Model Equivalent to Kleene"s Slash Realizability”, Mat. Zametki, 75:1 (2004),  155–156  mathnet  mathscinet  zmath; Math. Notes, 75:1 (2004), 145–146  isi
1997
3. V. Kh. Khakhanyan, “Independence of the partial axiom of choice of intuitionistic set theory”, Uspekhi Mat. Nauk, 52:4(316) (1997),  219–220  mathnet  mathscinet  zmath; Russian Math. Surveys, 52:4 (1997), 832–833  isi  scopus 1
1993
4. V. Kh. Khakhanyan, “An intuitionistic proof of the consistency of Church's thesis with set theory”, Izv. Vyssh. Uchebn. Zaved. Mat., 1993, no. 3,  78–80  mathnet  mathscinet  zmath; Russian Math. (Iz. VUZ), 37:3 (1993), 76–78
5. V. Kh. Khakhanyan, “Independence of the “collection” axiom from the principle “DC” in intuitionistic set theory”, Izv. Vyssh. Uchebn. Zaved. Mat., 1993, no. 2,  81–83  mathnet  mathscinet  zmath; Russian Math. (Iz. VUZ), 37:2 (1993), 78–80 1
1988
6. V. Kh. Khakhanyan, “Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory”, Mat. Zametki, 43:5 (1988),  685–691  mathnet  mathscinet  zmath; Math. Notes, 43:5 (1988), 394–398  isi 2
1980
7. V. Kh. Khakhanyan, “The consistency of intuitionistic set theory with formal mathematical analysis”, Dokl. Akad. Nauk SSSR, 253:1 (1980),  48–52  mathnet  mathscinet  zmath 1
8. V. Kh. Khakhanyan, “The comparative strength of variants of Church's thesis at the level of set theory”, Dokl. Akad. Nauk SSSR, 252:5 (1980),  1070–1074  mathnet  mathscinet  zmath 2

Presentations in Math-Net.Ru
1. About the relation between Church Thesis and Uniformity Principle in Intuitionistic Set Theory
V. Kh. Khakhanyan
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
April 29, 2014 18:30

Organisations