Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
Хаханян Валерий Христофорович
доктор философских наук с 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
Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory
Khakhanyan V.Kh
в журнале
Mathematical notes of the Academy of Sciences of the USSR
, том 43, № 5, с. 394-398
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
1982
Интуиционистская теория множеств
Хаханян Валерий Христофорович
в сборнике
Логика и основания математики. Материалы к VIII Всесоюзной конференции «Логика и методология науки». Паланга, 26-28 сентября 1982 г
, с. 91-94
Книги
2009
Интуиционистская логика
Плиско В.Е.
,
Хаханян В.Х.
место издания
Мехмат МГУ Москва
, 159 с.
2006
Элементы теории сложности алгоритмов и вычислений
Хаханян Валерий Христофорович
место издания
МИИТ Москва
, 148 с.
2004
Элементы математической логики и теории алгоритмов
Хаханян Валерий Христофорович
место издания
МИИТ Москва
, 68 с.
2003
Интуиционистская теория множеств: модели и метаматематика
Хаханян Валерий Христофорович
место издания
МИИТ Москва
, 119 с.
Доклады на конференциях
2014
О развитии взглядов Л. Брауэра в СССР
(Устный)
Автор:
Хаханян Валерий Христофорович
Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина
, Москва, Россия, 20 февраля 2014
2009
Об одном свойстве универсумов в моделях реализуемости для интуиционистской теории множеств
(Устный)
Автор:
Хаханян Валерий Христофорович
Шестые Смирновские чтения по логике. Международная научная конференция. 17-19 июня 2009 года
, Москва, Россия, 2009
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
при МГУ имени М.В. Ломоносова, Механико-математический факультет
Ведущая организация:
Институт математики Сибирского отделения АН СССР
Оппоненты:
Смирнов Владимир Александрович
,
Скворцов Дмитрий Павлович