Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Хаханян Валерий Христофорович
(1946–2014)

В базах данных Math-Net.Ru
Публикаций: 8
Научных статей: 8
Лекций и докладов: 1

Статистика просмотров:
Эта страница:648
Страницы публикаций:1793
Полные тексты:908
Списки литературы:175
профессор
доктор философских наук (2004)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Ключевые слова: интуиционистская аксиоматическая теория множеств, интуиционистская логика, теория множеств, универсум множеств, рекурсивная реализуемость, тезис Чёрча, принцип униформизации, функция экстенсиональности множества. Intuitionistic axiomatic set theory.

Основные темы научной работы

Конструктивная математика.

Constructive mathematics


https://www.mathnet.ru/rus/person17359
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/194513

Публикации в базе данных Math-Net.Ru Цитирования
2013
1. В. Х. Хаханян, “Независимость принципа униформизации от тезиса Чёрча в интуиционистской теории множеств”, Изв. РАН. Сер. матем., 77:6 (2013),  207–222  mathnet  mathscinet  zmath  elib; V. Kh. Khakhanyan, “Independence of the uniformity principle from Church's thesis in intuitionistic set theory”, Izv. Math., 77:6 (2013), 1260–1275  isi  elib  scopus
2004
2. В. Х. Хаханян, “Функциональная алгебраическая модель, эквивалентная штрих-реализуемости Клини”, Матем. заметки, 75:1 (2004),  155–156  mathnet  mathscinet  zmath; V. Kh. Khakhanyan, “A Functional Algebraic Model Equivalent to Kleene"s Slash Realizability”, Math. Notes, 75:1 (2004), 145–146  isi
1997
3. В. Х. Хаханян, “Независимость частного случая аксиомы выбора в интуиционистской теории множеств”, УМН, 52:4(316) (1997),  219–220  mathnet  mathscinet  zmath; V. Kh. Khakhanyan, “Independence of the partial axiom of choice of intuitionistic set theory”, Russian Math. Surveys, 52:4 (1997), 832–833  isi  scopus 1
1993
4. В. Х. Хаханян, “Интуиционистское доказательство совместимости тезиса Черча с теорией множеств”, Изв. вузов. Матем., 1993, № 3,  78–80  mathnet  mathscinet  zmath; V. Kh. Khakhanyan, “An intuitionistic proof of the consistency of Church's thesis with set theory”, Russian Math. (Iz. VUZ), 37:3 (1993), 76–78
5. В. Х. Хаханян, “Независимость аксиомы «collection» от принципа «DC» в интуиционистской теории множеств”, Изв. вузов. Матем., 1993, № 2,  81–83  mathnet  mathscinet  zmath; V. Kh. Khakhanyan, “Independence of the “collection” axiom from the principle “DC” in intuitionistic set theory”, Russian Math. (Iz. VUZ), 37:2 (1993), 78–80 1
1988
6. В. Х. Хаханян, “Невыводимость принципа униформизации из тезиса Черча в интуиционистской теории множеств”, Матем. заметки, 43:5 (1988),  685–691  mathnet  mathscinet  zmath; V. Kh. Khakhanyan, “Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory”, Math. Notes, 43:5 (1988), 394–398  isi 2
1980
7. В. Х. Хаханян, “Непротиворечивость интуиционистской теории множеств с формальным математическим анализом”, Докл. АН СССР, 253:1 (1980),  48–52  mathnet  mathscinet  zmath 1
8. В. Х. Хаханян, “Сравнительная сила вариантов тезиса Чёрча на уровне теории множеств”, Докл. АН СССР, 252:5 (1980),  1070–1074  mathnet  mathscinet  zmath 2

Доклады и лекции в базе данных Math-Net.Ru
1. О соотношении тезиса Чёрча и принципа униформизации в теории множеств с интуиционистской логикой
В. Х. Хаханян
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
29 апреля 2014 г. 18:30

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024