|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Хаханян Валерий Христофорович
доктор философских наук с 2004 года
Соавторы: Плиско В.Е.
37 статей, 4 книги, 3 доклада на конференциях, 11 тезисов докладов, 2 диссертации
Количество цитирований статей в журналах по данным
Web of Science: 3,
Scopus: 4
IstinaResearcherID (IRID): 7498791
Деятельность
-
Статьи в журналах
-
- 2015 О тезисе Чёрча и принципе униформизации (заметки по онтологии математики)
- Хаханян Валерий Христофорович
- в журнале Логико-философские исследования, том 6, с. 254-259
-
- 2014 О свойстве отделимости в классической пропозициональной логике
- Хаханян Валерий Христофорович
- в журнале Логико-философские исследования, том 6, с. 252-253
-
- 2013 Независимость принципа униформизации от тезиса Чёрча в интуиционистской теории множеств
- Хаханян Валерий Христофорович
- в журнале Известия РАН. Серия математическая, том 77, № 6, с. 207-222 DOI
-
- 2009 Об одном свойстве универсумов в моделях реализуемости для нтуиционистской теории множеств
- Хаханян Валерий Христофорович
- в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 15, с. 229-231
-
- 2007 Интуиционистская арифметика с принципами Маркова и P
- Хаханян Валерий Христофорович
- в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 14, с. 283-285
-
- 2006 Свойства ординалов в теории множеств с интуиционистской логикой
- Хаханян Валерий Христофорович
- в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 13, с. 191-195
-
- 2006 Функциональная алгебраическая модель для S-реализуемости
- Хаханян Валерий Христофорович
- в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 13, с. 196-200
-
- 2005 Функциональные алгебраические модели для НА и теории множеств с интуиционистской логикой
- Хаханян Валерий Христофорович
- в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 12, с. 272-281
-
- 2004 A functional algebraic model equivalent to Kleene's slash realizability
- Khakhanyan V.Kh
- в журнале Mathematical Notes, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 75, № 1, с. 145-146 DOI
-
- 2004 Теория множеств с интуиционистской логикой: базисная система
- Хаханян Валерий Христофорович
- в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 11, с. 280-283
-
- 2004 Функциональная алгебраическая модель, эквивалентная штрих-реализуемости Клини
- Хаханян Валерий Христофорович
- в журнале Математические заметки, издательство МИАН (Москва), том 75, № 1, с. 155-156 DOI
-
- 2003 Функциональная алгебраическая модель, соответствующая штрих-реализуемости Клини
- Хаханян Валерий Христофорович
- в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 10, с. 198-203
-
- 2002 Система NFI, равнонепротиворечивая с системой Куайна NF
- Хаханян Валерий Христофорович
- в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 9, с. 245-250
-
- 2001 Предикаты реализуемости для теории множеств
- Хаханян Валерий Христофорович
- в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 8, с. 217-222
-
- 1998 Functional algebraic models for non-classical set theory
- Khakhanian V.Kh
- в журнале Bulletin of the section of logic, том 27, № 1/2, с. 53-54
-
- 1998 Независимость принципа двойного дополнения множеств от схемы собирания в теории множеств с интуиционистской логикой
- Хаханян Валерий Христофорович
- в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 5, с. 160-162
-
- 1997 Independence of the partial axiom of choice of intuitionistic set theory
- Khakhanian V.Kh
- в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 52, № 4, с. 832-833 DOI
-
- 1997 Независимость частного случая аксиомы выбора в интуиционистской теории множеств
- Хаханян Валерий Христофорович
- в журнале Успехи математических наук, издательство Наука (М.), том 52, № 4, с. 219-220 DOI
-
- 1997 Функциональные алгебраические модели для неклассической теории множеств
- Хаханян Валерий Христофорович
- в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 4, с. 192-195
-
- 1995 О допустимости правила Маркова в интуиционистской теории множеств
- Хаханян Валерий Христофорович
- в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 3, с. 174-177
-
- 1993 ZFIR+CT is equiconsistent with ZFIR
- Khakhanian V.Kh
- в журнале Serdica Bulgariacae mathematicae publications, том 19, с. 8-11
-
- 1993 Интуиционистское доказательство совместимости тезиса Чёрча с теорией множеств
- Хаханян Валерий Христофорович
- в журнале Известия высших учебных заведений. Математика, издательство Изд-во Казан. ун-та (Казань), № 3, с. 78-80
-
- 1993 Независимость аксиомы «collection» от принципа «DC» в интуиционистской теории множеств
- Хаханян Валерий Христофорович
- в журнале Известия высших учебных заведений. Математика, издательство Изд-во Казан. ун-та (Казань), № 2, с. 81-83
-
- 1992 Independence of the collection on the double complement and vice versa in set theory (Abstracts of VIII Latin American conference of mathematical logic)
- Khakhanian V.Kh
- в журнале Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 57, № 1, с. 378 DOI
-
-
- 1988 Невыводимость принципа униформизации из тезиса Чёрча в интуиционистской теории множеств
- Хаханян Валерий Христофорович
- в журнале Математические заметки, издательство МИАН (Москва), том 43, № 5, с. 685-691
-
- 1981 The consistency of some intuitionistic and constructive principles with a set theory
- Hahanyan V.H.
- в журнале Studia Logica, издательство Springer Nature (Switzerland), том 40, № 3, с. 237-248 DOI
-
- 1980 The consistency of intuitionistic set theory with Church's principle and the uniformization principle
- Khakhanyan V.Kh
- в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 35, № 5, с. 3-7
-
- 1980 Непротиворечивость интуиционистской теории множеств с принципами Чёрча и униформизации
- Хаханян Валерий Христофорович
- в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 5, с. 3-7
-
- 1980 Непротиворечивость интуиционистской теории множеств с формальным математическим анализом
- Хаханян Валерий Христофорович
- в журнале Доклады АН СССР, том 253, № 1, с. 48-52
-
- 1980 Сравнительная сила вариантов тезиса Чёрча на уровне теории множеств
- Хаханян Валерий Христофорович
- в журнале Доклады АН СССР, том 252, № 5, с. 1070-1074
-
-
Статьи в сборниках
-
- 2002 Интуиционистский вариант для NF
- Хаханян Валерий Христофорович
- в сборнике Труды научно-исследовательского семинара Логического центра Института философии РАН, том 16, с. 109-111
-
- 1998 Аксиома выбора и нестандартная теория множеств
- Хаханян Валерий Христофорович
- в сборнике Труды научно-исследовательского семинара логического центра Института философии РАН, место издания ИФ РАН Москва, том 12, с. 24-26
-
- 1997 Markov's rule is admissible in the set theory with intuitionistic logic
- Khakhanian V.Kh
- в сборнике Computational Logic and Proof Theory, 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 1289, с. 167-171 DOI
-
- 1990 К характеризации регулярных кардиналов
- Хаханян Валерий Христофорович
- в сборнике Философские основания неклассических логик, серия Труды научно-исследовательского семинара по логике Института философии АН СССР, место издания Институт философии АН СССР Москва, том 8, с. 120-122
-
- 1983 Теория множеств и тезис Чёрча
- Хаханян Валерий Христофорович
- в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 198-208
-
-
-
Книги
- 2009 Интуиционистская логика
- Плиско В.Е., Хаханян В.Х.
- место издания Мехмат МГУ Москва, 159 с.
- 2006 Элементы теории сложности алгоритмов и вычислений
- Хаханян Валерий Христофорович
- место издания МИИТ Москва, 148 с.
- 2004 Элементы математической логики и теории алгоритмов
- Хаханян Валерий Христофорович
- место издания МИИТ Москва, 68 с.
- 2003 Интуиционистская теория множеств: модели и метаматематика
- Хаханян Валерий Христофорович
- место издания МИИТ Москва, 119 с.
-
Доклады на конференциях
-
- 2014 О развитии взглядов Л. Брауэра в СССР (Устный)
- Автор: Хаханян Валерий Христофорович
- Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина, Москва, Россия, 20 февраля 2014
-
- 2005 Базисная система для интуиционистской теории множеств (Устный)
- Автор: Хаханян Валерий Христофорович
- IV Российский философский конгресс: философия и будущее цивилизации, Москва, Россия, 24-28 мая 2005
-
-
Тезисы докладов
-
- 2013 О свойстве отделимости в классической пропозициональной логике
- Хаханян Валерий Христофорович
- в сборнике Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 38-39
- редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
-
- 2013 О тезисе Чёрча и принципе униформизации (К заметкам по онтологии математики)
- Хаханян Валерий Христофорович
- в сборнике Философия математики: актуальные проблемы. Математика и реальность. Тезисы Третьей всероссийской научной конференции; 27-28 сентября 2013 г, место издания Центр стратегической конъюнктуры Москва, тезисы, с. 203-206
- редакторы Бажанов В.А., Косилова Елена Владимировна, Кричевец Анатолий Николаевич, Перминов Василий Яковлевич, Шапошников Владислав Алексеевич
-
- 2011 Properties of universes in realizability models for intuitionistic set theory and its corollaries
- Khakhanian Valery
- в сборнике Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy 2011), серия ICLMPS, место издания Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science Nancy, тезисы, с. 35
-
- 2011 To what extent contemporary mathematical science is reliable
- Khakhanian V.
- в сборнике Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 40-41
- редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Карпенко Александр Степанович, Маркин Владимир Ильич
-
- 2009 Об одном свойстве универсумов в моделях реализуемости для интуиционистской теории множеств
- Хаханян Валерий Христофорович
- в сборнике Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 38-39
- редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич
-
- 2005 Базисная система для интуиционистской теории множеств
- Хаханян В.Х.
- в сборнике Философия и будущее цивилизации: Тезисы докладов и выступлений IV Российского философского конгресса: В 5 т, место издания Современные тетради М, том 1, тезисы
-
- 1995 About admissibility of Markov's rule in set theory with intuitionistic logic
- Khakhanian V.Kh
- в сборнике Logic, Methodology and Philosophy of Science. Proceedings of the 10th International Congress (Florence 1995), серия ICLMPS, место издания Italy, тезисы, с. 52
-
- 1992 О допустимости правила Маркова
- Хаханян Валерий Христофорович
- в сборнике II Межреспубликанская конференция по математической логике. Казань, 6-8 октября, 1992. Тезисы сообщений, место издания Казань, тезисы, с. 150
-
- 1990 Независимость частного случая аксиомы выбора от двусортной теории множеств
- Хаханян Валерий Христофорович
- в сборнике X Всесоюзная конференция по логике, методологии и философии науки (24-26 сентября 1990 г.). Тезисы докладов и выступлений (секции 1-5), серия Коллоквиум «Людвиг Витгенштейн и философская мысль XX века», место издания БелНИИНТИ Минск, том 24, тезисы, с. 21-22
-
- 1989 Независимость сильного принципа униформизации от тезиса Чёрча в полной теории множеств
- Хаханян Валерий Христофорович
- в сборнике Научные математические чтения памяти М.Я.Суслина. Саратов, 16-21 октября 1989. Тезисы докладов, место издания СГПИ Саратов, тезисы, с. 91
-
- 1982 Интуиционистское доказательство совместности тезиса Чёрча с теорией множеств
- Хаханян Валерий Христофорович
- в сборнике Шестая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания издательство Тбилисского университета Тбилиси, тезисы, с. 194
-
-
Диссертации
-
- 2004 Интуиционистская логика и теория множеств
- Докторская диссертация по специальности 09.00.07 - Логика (физ.-мат. науки)
- Автор: Хаханян Валерий Христофорович, д.ф.н.
- Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова
- Организация, в которой выполнялась работа: Философский факультет МГУ им. М.В.Ломоносова
- Ведущая организация: Кафедра логики философского факультета СПбГУ
- Оппоненты: Хомич Валентин Иванович, Васюков Владимир Леонидович, Панов Михаил Иванович
-
- 1982 Модели интуиционистской теории множеств
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Хаханян Валерий Христофорович, д.ф.н.
- Научные руководители: Драгалин Альберт Григорьевич, Марков Андрей Андреевич
- Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
- Ведущая организация: Институт математики Сибирского отделения АН СССР
- Оппоненты: Смирнов Владимир Александрович, Скворцов Дмитрий Павлович
-