• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • On Shavrukov's non-isomorphism theorem for diagonalizable algebras
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
9 июля 2026 г.
При взгляде на свое лицо мужчины забывают обо всем
В эксперименте с участием 15 здоровых мужчин ученые НИУ ВШЭ проанализировали, как фазы сердечного цикла влияют на возбудимость моторной коры, когда человек смотрит на собственную фотографию или лица незнакомых людей. Исследователи обнаружили, что в случае с собственным изображением мозг слабее считывает сигналы сердца — их влияние на кору снижается, хотя ожидалось, что внимание к себе, наоборот, усилит чувствительность к внутренним сигналам тела. Исследование опубликовано в журнале Frontiers in Signal Processing.
9 июля 2026 г.
Новый метод НИУ ВШЭ и Т-Технологий повышает качество работы ИИ
Ученые из лаборатории научных исследований «Т-Технологий» и Института искусственного интеллекта и цифровых наук факультета компьютерных наук НИУ ВШЭ разработали новый метод семплирования для моделей маскированной диффузии — G-Star+. Он помогает быстрее и качественнее исправлять ошибки во время генерации текста и кода за небольшое число шагов. Метод показал эффективность в задачах генерации текста и кода и может применяться там, где генеративным моделям нужно быстро и качественно создавать текст или код при ограниченных вычислительных ресурсах.
7 июля 2026 г.
ИИ в повседневной жизни: 6 сценариев для экономии времени
По данным ряда консалтинговых компаний, сотрудники тратят в среднем около четверти рабочего времени на обработку электронной почты и поиск информации. Нейросети закрывают простые, но времязатратные дела: суммируют длинные документы за секунды, генерируют черновики писем, структурируют заметки. Но, чтобы успешно автоматизировать рутину, нужно понимать, как встраивать в нее искусственный интеллект. С помощью экспертов факультета компьютерных наук ВШЭ разбираем шесть сценариев с конкретными промтами и инструментами, которые помогут сохранить вам силы.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

On Shavrukov's non-isomorphism theorem for diagonalizable algebras

Review of Symbolic Logic. 2022. P. 1–38.
Колмаков Е. А.
Научное направление: Математика
Язык: английский
Полный текст
DOI
Текст на другом сайте
Ключевые слова: изоморфизмisomorphismалгебра доказуемостиprovability predicate diagonalizable algebraпредикат доказуемости
Похожие публикации
Statistical inference based on band-limited kernels: Rational-infinitely divisible distributions and beyond
Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.
Добавлено: 9 июля 2026 г.
Computational Science and Its Applications – ICCSA 2026 Workshops
Springer, 2027.
Добавлено: 8 июля 2026 г.
Моделирование специализированных алгоритмов маршрутизации в сетях на кристалле, представленных сериями семейств циркулянтных топологий
Маликов М. А., Монахова Э. А., Рзаев Э. Р. и др., Ученые записки Казанского университета. Серия: Физико-математические науки 2026 Т. 168 № 2 С. 269–286
В качестве топологий сетей на кристалле рассмотрены серии семейств оптимальных по диаметру двумерных циркулянтных сетей с прямоугольным контуром укладки на плоскости. Прямоугольный контур укладки графа межмодульных соединений даёт возможность компоновки элементов в сетях на кристалле с минимальным количеством пересечений связей и ограниченной длиной максимальной из них, не зависящей от размера сети. Для серий семейств циркулянтных сетей с ...
Добавлено: 8 июля 2026 г.
Algorithmic overlaps as thermodynamic variables: From local to cluster Monte Carlo dynamics in critical phenomena
Пиле Я. Э., Щур Л. Н., Deng Y., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 Article 014101
Добавлено: 6 июля 2026 г.
Proceedings of the 9th International School-Seminar on Nonlinear Analysis and Extremal Problems (NLA-2026). Irkutsk, Russia, June 22–26, 2026. Irkutsk : ISDCT SB RAS, 2026, 326 p.
Irkutsk: ISDCT SB RAS, 2026.
Добавлено: 5 июля 2026 г.
Журнал Телекоммуникации №1 за 2026
М.: Наука и технологии, 2026.
«Телекоммуникации» ежемесячный рецензируемый производственный, информационно-аналитический и учебно-методический журнал выходит в свет с июля 2000 г. Для руководителей и работников промышленности, научно-исследовательских и проектно-конструкторских институтов, высших учебных заведений, аспирантов и студентов, а также для специалистов, разрабатывающих, выпускающих и эксплуатирующих средства телекоммуникаций. Новости разработок и производства, прогнозы развития, защита информации, Нормативные, справочные, аналитические и учебно-методические материалы. Переход к глобальному информационному ...
Добавлено: 4 июля 2026 г.
"Труды МФТИ" Том 17, № 4 (68) (2025)
МФТИ, 2025.
абота  редакции  научного журнала «Труды Московского физико-технического института» (кратко «Труды МФТИ»), редакционной коллегии и редакционного совета осуществляется в соответствии с Положением, утвержденным ректором института. В состав редакционной коллегии входят руководители института, факультетов, институтских и факультетских кафедр. Главный редактор журнала —президент МФТИ, член-корр. РАН Кудрявцев Н.Н.   Журнал «Труды МФТИ» входит в базу данных РИНЦ (Российский Индекс Научного Цитирования) и доступен в электронной ...
Добавлено: 4 июля 2026 г.
Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)
Springer, 2026.
Добавлено: 30 июня 2026 г.
On Ω-stable 3-diffeomorphism with a solid or thickened surfaced basic set
Починка О. В., Баринова М. К., Journal of Geometry and Physics 2026 Vol. 228 P. 1–8
Добавлено: 30 июня 2026 г.
Почти пустые симплексы и полиэдры Клейна
Герман О. Н., Илларионов А. А., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 3–18
Пусть симплекс с целочисленными вершинами - содержащий ровно одну целочисленную точку, отличную от своих вершин. В работе доказывается, что если точка находится во внутренности симплекса или в относительной внутренности некоторой гиперграни симплекса, то объем симплекса ограничен величиной, зависящей только от размерности, в противном случае объем симплекса может быть сколь угодно большим. Этот результат применяется для вывода асимптотической формулы для среднего числа вершин полиэдров ...
Добавлено: 29 июня 2026 г.
Варианты инвариантности в формальных и региональных онтологиях
Драгалина-Черная Е. Г., 2024 Т. 13 № 1 С. 15–32
В статье сопоставляются принципы инвариантности, предлагаемые аналитической и феноменологической традициями для демаркации границ формальных и региональных онтологий. Принцип инвариантности относительно изоморфных преобразований, обобщающий критерий Альфреда Тарского для логических понятий, распространяется на формальную онтологию как теорию многообразий в ее феноменологической интерпретации. Особое внимание уделяется дискуссии аналитической и феноменологической традиций о синтетическом (материальном) априори и тому вкладу, ...
Добавлено: 3 февраля 2024 г.
Изоморфизм формы и содержания в контексте философии и лингвистики во второй половине ХХ – начале ХХI вв.
Яркова В. В., Ситькова А. С., Евразийский гуманитарный журнал 2023 № 2 С. 22–30
Понятие изоморфизма играет важную роль в осмыслении закономерностей функционирования различных систем, в частности системы языка. В настоящей статье предпринята попытка обобщить и систематизировать накопленные знания о понятии изоморфизма с позиции философии и языкознания второй половины XX – начала XXI вв. В общенаучном контексте под изоморфизмом понимают сходство свойств, соответствие связей и отношений между объектами (системами). ...
Добавлено: 12 ноября 2023 г.
Обобщенные кванторы: от абстрактной теории моделей к обыденным рассуждениям
Драгалина-Черная Е. Г., В кн.: Тринадцатые Смирновские чтения: материалы Междунар. науч. конф., Москва, 22–24 июня 2023 г.: М.: Философский факультет МГУ, 2023. С. 74–76.
Выявляются основания и ограничения трактовки теории обобщенной квантификации как «логики кардинальности» в абстрактной теории моделей и в нейропсихологических исследованиях обыденных рассуждений ...
Добавлено: 22 июня 2023 г.
Об одном усилении теоремы о неизоморфизме алгебр доказуемости
Колмаков Е. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2022 Т. 499 № 1 С. 26–30
Мы получаем усиление теоремы В.Ю. Шаврукова о неизоморфизме алгебр доказуемости двух Σ1-корректных теорий, основываясь на результатах, полученных Г. Адамссоном. Усиленное достаточное условие неизоморфизма позволяет построить новые примеры пар теорий с неизоморфными алгебрами. В частности, мы доказываем отсутствие эпиморфизмов из алгебры (LT,□T□T) на алгебру (LT,□T). ...
Добавлено: 30 июня 2022 г.
Использование изоморфного подхода для решения проблемы SEO-ориентированности веб-приложений на основе технологий Javascript
Суворов А. О., Петренко А. А., Аликин А. В., Информационные технологии и вычислительные системы 2021 № 4 С. 100–110
Рассматриваются вопросы создания одностраничных веб-приложений на JavaScript фреймворках, таких как React, Angular, Vue таким образом, чтобы SEO-ориентированность веб-приложений оставалась такой же, как и при использовании статичного контента. Рассмотрен изоморфный подход к разработке одностраничных приложений, основанный на принципе его устройства и стратегиях его использования, приведены принципы построения такого приложения и примеры блока программного кода, а также ...
Добавлено: 16 ноября 2021 г.
Sentence comprehension in heritage language: Isomorphism, word order, and language transfer
Крабис А. В., Onischik E., Драгой О. В., Second Language Research 2022 Vol. 38 No. 4 P. 839–867
Добавлено: 27 октября 2021 г.
Многослойный подход к поиску изоморфных подграфов в HP-графах
N.M. Suvorov, L.N. Lyadova, Proceedings of the Institute for System Programming of the RAS 2021 Vol. 33 No. 4 P. 163–176
Визуальное моделирование широко распространено на данный момент, однако существующие платформы, предназначенные для моделирования, не могут удовлетворить все требования пользователей. Визуальные языки, как правило, основаны на графовых моделях, однако графовые формализмы, используемые для представления моделей, обладают существенными ограничениями. Для решения проблемы недостаточной выразительности существующих графовых моделей ранее была представлена новая графовая модель (HP-граф), основным элементом которой ...
Добавлено: 23 октября 2021 г.
Application of the Homomorphism Theorem for Rings to Linearization of Systems of Partial Differential Equations
Ломоносов Т. А., Journal of Mathematical Sciences 2021 Vol. 255 No. 4 P. 459–466
Добавлено: 9 мая 2021 г.
Реализация программного комплекса выявления паттернов в мультиграфе на примере сети межбанковского кредитования в агентной модели банковской системы
Леонидов А. В., Васильев С. Б., Серебрянникова Е. Е. и др., В кн.: Проблемы управления и моделирования в сложных системах: Труды XXI Международной конференции. В 2-х томах.: Самара: ООО «Офорт», 2019. С. 221–224.
Graph is a universal representation of different social and economic systems. Vertices of a graph represent objects of different kind and edges describe interrelations between these objects. Vertices and edges can be characterized by a set of attributes describing different properties of objects and relations between them. A graph is called a multi-graph If its ...
Добавлено: 20 декабря 2019 г.
Isomorphous rare-earth bis[bis(2,6-diisopropyl-phenyl)phosphate] complexes and their selfassembly into two-dimensional frameworks by intramolecular hydrogen bonds
Миняев М., Нифантьев И., Тавторкин А. и др., Acta Crystallographica. Section C, Structural chemistry 2017 Vol. 73 P. 820–827
Добавлено: 4 октября 2019 г.
Standard conjectures in model theory, and categoricity of comparison isomorphisms. A model theory perspective
Гаврилович М. Р., / Series IHES/M/19/03 " Les Publications mathématiques de l’IHES". 2019.
Добавлено: 31 мая 2019 г.
Время, воспоминаниe, миф: жанровая специфика романа А.Рой «Бог мелочей»
Авраменко И. А., Мировая литература в контексте культуры 2014 Т. 9 № 3 С. 51–61
В статье разрабатывается жанровая модель романа-мифа на примере «Бога мелочей» (1997) Арундати Рой. Обосновывается недостаточность построения модели жанра на основе сопоставления содержания романа с мифологическим материалом: образами, мотивами. Основой должны стать мифомоделирующие принципы и категории, три из которых: время, воспоминание и читатель – и анализирует автор статьи. Несовпадение времени истории и дискурса (Ж. Женетт) выстраивает образы ...
Добавлено: 11 февраля 2015 г.
Методы исторического исследования
Гринин Л. Е., Коротаев А. В., Крадин Н. Н., В кн.: Теория и методология истории: учебник для вузов.: Волгоград: Учитель, 2014. С. 386–408.
Методы исторического исследования традиционно делятся на две большие группы: общие методы научного исследования и специальные исторические методы. Однако нужно иметь в виду, что подобное деление в некоторой степени условно. Например, так называемый «исторический» метод используется не только историками, но и представителями самых различных естественных и общественных наук. ...
Добавлено: 9 октября 2014 г.
Изоморфизм повествовательных уровней в модернистском романе
Авраменко И. А., В кн.: Память и нарратив.: Воронеж: НАУКА-ЮНИПРЕСС, 2012. С. 43–49.
Данная статья – попытка установить и рассмотреть отношения определенного рода соответствия между повествовательными уровнями художественного произведения. В первом приближении эти отношения могут быть определены как диалогические, на основании концепции М.М.Бахтина. Для описания художественного повествования как системы, связывающей реального автора с реальным читателем через посредство имплицитного автора, скрытого или явного нарратора/нарраторов, персонажей и соответствующих наррататоров и ...
Добавлено: 30 января 2014 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору