Zobrazeno 1 - 4
of 4
pro vyhledávání: '"V. Kh. Khakhanyan"'
Autor:
V Kh Khakhanyan
Publikováno v:
RUDN Journal of Philosophy, Vol 0, Iss 3, Pp 71-79 (2009)
In the article there is a review of investigations on intuitionistic formal theories of mathematical analysis. All main results and models, obtained at the end of 60-s, 70-s and at the beginning of 80-s of XX c. are given.
Externí odkaz:
https://doaj.org/article/35e74d618b9b4292a09b235a99e9863a
Autor:
V Kh Khakhanyan
Publikováno v:
Izvestiya: Mathematics. 77:1260-1275
We prove the independence of the strong uniformity principle from Church's thesis with choice in intuitionistic set theory with the axiom of extensionality extended by Markov's principle and the double complement for sets.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7bc8434be8142b16aefe79394ddd0c1
https://doi.org/10.1070/im2013v077n06abeh002676
https://doi.org/10.1070/im2013v077n06abeh002676
Autor:
V. Kh. Khakhanyan
Publikováno v:
Mathematical Notes. 75:145-146
In one of his papers, Dragalin proposed a very general approach to the construction of models for nonstandard logics of uniform-algebra type and, in particular, for intuitionistic logic (see [1]). The presentation (clear enough, but without the obvio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ebad7450fd5d6a144f7d88d22be4386d
https://doi.org/10.1023/b:matn.0000015030.71163.25
https://doi.org/10.1023/b:matn.0000015030.71163.25
Autor:
V. Kh. Khakhanyan
Publikováno v:
Mathematical Notes of the Academy of Sciences of the USSR. 43:394-398
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c04aa7d2b0a09c4f9b81c7ce1c0e0574
https://doi.org/10.1007/bf01158848
https://doi.org/10.1007/bf01158848