Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Ганов Валерий Александрович

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

Статистика просмотров:
Эта страница:225
Страницы публикаций:796
Полные тексты:396
доцент
доктор физико-математических наук (2003)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 2.11.1944
E-mail:
Ключевые слова: машины с оракулом, метод форсинга, формальная арифметика.
Коды УДК: 517.15, 517.11, 518.5

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

Вычисления с оракулами.

   
Основные публикации:
  1. Ганов В.А., “Обобщенные вычисления и дескриптивная теория множеств”, Сиб. мат. журнал, 15:6 (1974), 1244–1261
  2. Ганов В.А., “О границах применимости принципа рефлексии”, Алгебра и логика, 37:2 (1998), 127–143
  3. Ганов В.А., Дегтерева Р.В., “Нестандартный форсинг, истинность и общепринятость суждений”, Известия Алтайского госуниверситета, 68:2 (2010)

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

Публикации в базе данных Math-Net.Ru Цитирования
2002
1. Н. В. Белякин, В. А. Ганов, “Интенсиональность, рефлексия, большие кардиналы”, Сиб. матем. журн., 43:6 (2002),  1222–1234  mathnet  mathscinet  zmath; N. V. Beljakin, V. A. Ganov, “Intensionality, reflection, and large cardinals”, Siberian Math. J., 43:6 (2002), 985–994  isi
1998
2. В. А. Ганов, “О границах применимости принципа рефлексии”, Алгебра и логика, 37:2 (1998),  127–143  mathnet  mathscinet
1995
3. В. А. Ганов, “О противоречивости метатеории Нудельмана”, Алгебра и логика, 34:1 (1995),  41–43  mathnet  mathscinet
1993
4. В. А. Ганов, “Рекурсия на обобщенно-вычислимых ординалах”, Сиб. матем. журн., 34:4 (1993),  61–69  mathnet  mathscinet  zmath; V. A. Ganov, “Recursion on generalized computable ordinals”, Siberian Math. J., 34:4 (1993), 646–652  isi
1986
5. В. А. Ганов, “Вычислимые функционалы и арифметика ординальных типов”, Сиб. матем. журн., 27:4 (1986),  41–51  mathnet  mathscinet  zmath; V. A. Ganov, “Computable functionals and the arithmetic of ordinal types”, Siberian Math. J., 27:4 (1986), 502–510  isi
1974
6. В. А. Ганов, “Обобщенная вычислимость и дескриптивная теория множеств”, Сиб. матем. журн., 15:6 (1974),  1242–1261  mathnet  mathscinet  zmath; V. A. Ganov, “Generalized computability, and descriptive set theory”, Siberian Math. J., 15:6 (1974), 873–887
1973
7. В. А. Ганов, “Обобщенно-конструктивный континуум”, Сиб. матем. журн., 14:5 (1973),  957–977  mathnet  mathscinet  zmath; V. A. Ganov, “A generalized constructive continuum”, Siberian Math. J., 14:5 (1973), 666–680

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