• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Non-well-founded derivations in the Gödel-Löb provability logic
  • 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
  • еще
Тематика
Новости
20 августа 2026 г.
<a>Исследователи НИУ ВШЭ и Сбера научили нейросети лучше угадывать предпочтения пользователей
Институт искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ и Сбер представили новую архитектуру для рекомендательных систем: благодаря объединению двух классов моделей алгоритмы лучше угадывают интересы и потребности пользователей. Препринт работы опубликован на сайте arxiv.org и представлен на летнем фестивале «Урбан ML».
19 августа 2026 г.
Ученые ВШЭ разработали алгоритм, позволяющий производить более надежные процессоры для ЦОД
Ученые из МИЭМ ВШЭ и Самарского университета создали алгоритм LRF-3D для автоматического обхода неработающих узлов в трехмерных сетях на кристалле. Благодаря своей иерархической организации он превосходит аналоги по быстродействию и точности пути, повышая надежность процессоров для использования в ЦОД, суперкомпьютерах и ИИ-вычислениях. Исходные коды алгоритмов и тестов опубликованы в открытом доступе.
13 августа 2026 г.
Социальная интеграция: на перекрестках знаний и ценностей
Международная лаборатория исследований социальной интеграции (МЛИСИ) НИУ ВШЭ занимается изучением проблем уязвимых слоев населения и поиском методов их вовлечения в полноценную повседневную жизнь. Для поиска решений ученые лаборатории сочетают разработку передовых методов с практической работой «в поле». О деятельности лаборатории новостной службе «Вышка.Главное» рассказала ее заведующая Елена Ярская-Смирнова.

 

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

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

?

Non-well-founded derivations in the Gödel-Löb provability logic

Review of Symbolic Logic. 2020. Vol. 13. No. 4. P. 776–796.
Шамканов Д. С.
Научное направление: Философия, этика, религиоведение Математика
Приоритетные направления: математика
Язык: английский
Полный текст
DOI
Текст на другом сайте
Ключевые слова: algebraic semanticsscattered spacesprovability logicNeighbourhood semanticsglobal consequence relationsnon-well-founded derivations
Похожие публикации
Хранители России. Антология.
Лупарева Н. Н., Парсамов В. С., Ананьев Д. А. и др., М.: ООО «Паблис», 2026.
В третьем томе антологии публикуются сочинения русских мыслителей по преимуществу первой четверти XIX века, свидетельствующие о рождении консервативно-хранительной мысли, ибо в этих сочинениях были точно сформулированы требования "мудрости хранительной" и противостояние политике "перемен ради самих перемен". В книгу вошли сочинения преподобного Серафима Саровского, Н.М. Карамзина, А.С. Шишкова, Ф.В. Ростопчина, С.Н. Глинки, А.С. Стурдзы, М.Л. Магницкого, ...
Добавлено: 24 августа 2026 г.
«Отечестволюбец»: общественно-политическая деятельность и взгляды Сергея Николаевича Глинки.
Лупарева Н. Н., Воронеж: Новый взгляд, 2012.
Монография представляет собой первое целостное исследование идейно-политической биографии одного из видных представителей русского консерватизма первой четверти XIX столетия. В книге раскрывается вклад С.Н. Глинки в формирование патриотических настроений в русском обществе накануне Отечественной войны 1812 г. Это направление его деятельности было связано с изданием журнала «Русский вестник», который впервые выразил все основные идеи консервативно-националистического направления ...
Добавлено: 24 августа 2026 г.
Проблема национальной самобытности в трудах российских консерваторов первой четверти XIX в.
Лупарева Н. Н., Русско-византийский вестник 2021 № 2(5) С. 166–182
Статья посвящена становлению понятия национальной самобытности в русской консервативной мысли первой четверти XIX в. Фактором, повлиявшим на начало процесса самоидентификации русского образованного общества, стало агрессивное западничество, нашедшее выражение в галломании русской аристократии и либеральных реформах Александра I, проходивших на фоне наполеоновских вой н и европейской реакции на Французскую революцию. Такие мыслители и общественные деятели, как ...
Добавлено: 24 августа 2026 г.
Сергей Николаевич Глинка
Лупарева Н. Н., Вопросы истории 2019 № 5 С. 22–37
В публикации реконструируется идейно-политическая биография видного представителя русской консервативной мысли первой четверти XIX в. Сергея Николаевича Глинки - литератора, публициста, издателя журнала "Русский вестни", автора многотомной "Русской истории"и одного из организаторов Московского ополчения в 1812 году. В своих сочинениях и общественно-политической деятельности Глинка отстаивал идею цивилизационной самобытности России, для которой характерна сильная монархическая государственность, значимая ...
Добавлено: 24 августа 2026 г.
«Русский вестник» С.Н. Глинки
Лупарева Н. Н., Русско-византийский вестник 2019 № 1 С. 346–368
Статья посвящена журналу Сергея Николаевича Глинки «Русский вестник», почти беспрерывно издававшемуся с 1808 по 1824 гг. Журнал был создан пред чувствием надвигающейся большой войны между Россией и Францией и раскрывал основной круг вопросов, интересовавших консерваторов первой четверти XIX в. — требования отказа от подражательства европейским, прежде всего, французским культурным, политическим и бытовым образцам, важности об ращения ...
Добавлено: 24 августа 2026 г.
«Восточный вопрос» в сочинениях С.Н. Глинки
Лупарева Н. Н., Русско-византийский вестник 2018 № 1 С. 113–119
Статья посвящена ранее не изучавшемуся в отечественной и зарубежной историографии аспекту взглядов известного общественно-политического деятеля, издателя и публициста, представителя консервативной мысли первой четверти XIX в. Сергея Николаевича Глинки — его воззрениям на «Восточный вопрос» во внешней политике России. Взгляды Глинки рассмотрены в контексте общей истории и осмысления данной проблемы. Он воспроизводил ставший традиционным тезис о ...
Добавлено: 24 августа 2026 г.
«Перо Глинки первое на Руси начало перестреливаться с неприятелем»: «Русский вестник» С.Н. Глинки накануне и в период Отечественной войны 1812 года
Лупарева Н. Н., Христианское чтение 2018 № 5 С. 175–186
Статья посвящена истории издания журнала Сергея Николаевича Глинки «Русский вестник». Созданный под впечатлением надвигающейся большой войны с Наполеоном, он должен был, по мысли издателя, подготовить русское общество не только к военно-политической, но и к социокультурной борьбе с Францией. Так как Франция и французская культура, чрезвычайно популярная в России первой четверти XIX в., ассоциировались с революционными ...
Добавлено: 24 августа 2026 г.
Роль православия в консервативной модели общественного устройства С.Н. Глинки
Лупарева Н. Н., Христианское чтение 2017 № 2 С. 276–287
Представленная статья посвящена роли православия в концепции обще ственно-политического устройства Сергея Николаевича Глинки — яркого представителя консервативного лагеря в царствование Александра I, издателя патриотического журнала «Русский вестник», автора известной в начале XIX в. «Русской истории». Консервативный проект Глинки стал реакцией на Французскую революцию, с его точки зрения, спровоцированной идеями атеистического европейского Просвещения. В своих трудах ...
Добавлено: 24 августа 2026 г.
From data to knowledge: artificial intelligence methods for studying comorbidity in electronic health records
Лукьяненко Д. В., Рагимова А. А., Мухорина А. и др., European Physical Journal: Special Topics 2026 P. 1–24
Добавлено: 20 августа 2026 г.
Monomial algebras and G_a^n-equivariant embeddings into toric varieties
Чернов А. Е., European Journal of Mathematics 2026 Vol. 12 Article 48
Добавлено: 19 августа 2026 г.
Mishima's Flame: Samurai Ethics in Art and Action
Моисеев Д. С., Multipolar Press, 2026.
Bushidō, the ethical tradition of the samurai, long ago transcended Japan’s feudal past to become a powerful element of cultural identity and an enduring presence in the global imagination. For Yukio Mishima (1925–1970), one of Japan’s most celebrated and controversial novelists and playwrights, a Nobel Prize nominee, actor, and public intellectual, bushidō was a living ...
Добавлено: 19 августа 2026 г.
Dynamics of Systems, Mechanisms and Machines (Dynamics). International scientific and technical conference
IEEE Advancing Technology for Humanity, 2025.
Добавлено: 19 августа 2026 г.
Hypergraphs from multivariate connectivity: caCOH-based EEG/MEG representation
Власенко Д. В., Саранская И. М., Захаров Д. Г., European Physical Journal: Special Topics 2026 P. 1–16
Гиперграфы предоставляют естественную систему для представления нейрофизиологических взаимодействий, распределённых по наборам датчиков. Ключевой методический вопрос заключается в том, каким образом следует определять гиперрёбра на основе частотно-разрешающих данных электроэнцефалографии и магнитоэнцефалографии (ЭЭГ/МЭГ). Мы предлагаем стратегию построения гиперграфа, в которой гиперрёбра получаются из канонической когерентности (caCOH) — расширения когерентности, которое оценивает степень связи между многомерными пространствами сигналов. Насколько ...
Добавлено: 18 августа 2026 г.
Global shifted potentials for moduli stacks of sheaves on Calabi-Yau four-folds
Borisov D., Katzarkov Ludmil, Sheshmani A. и др., American Journal of Mathematics 2026 Vol. 148 No. 4 P. 1075–1101
Добавлено: 18 августа 2026 г.
Прекрасное и утилитарное на Востоке. Между этикой и эстетикой. Книга 2
Зинченко С. А., Бейн П. В., Дубровская Д. В. и др., Институт востоковедения РАН, 2026.
Вопреки уверению Антуана де  Сент-Экзюпери, заявившего, что «самое прекрасное в звездах, домах и пустынях — то, чего не увидишь глазами», авторы предлагаемой монографии бесстрастно поверяют алгеброй научного анализа гармонию прекрасного на Востоке, продолжая наработки первой книги «Прекрасное и утилитарное: от докерамического неолита до искусства ислама». Монография состоит из исследований, посвященных полезности красоты, выраженной через все ...
Добавлено: 14 августа 2026 г.
Вырождение графа, описывающего комплексную структуру
Богатырев А. Б., Математический сборник 2023 Т. 214 № 3 С. 106–119
Рассматривается клеточное разбиение пространства модулей вещественных кривых рода 2 с отмеченной точкой на единственном вещественном овале. Клетки перечисляются определенными графами, веса которых описывают комплексную структуру на кривой. Показано, что стягивание ребра графа приводит к корневой особенности естественного отображения из весов графа в пространство модулей кривых. ...
Добавлено: 14 августа 2026 г.
Число компонент уравнений Пелля–Абеля с примитивным решением заданной степени
Богатырев А. Б., Gendron Q., Успехи математических наук 2023 Т. 78 № 1 С. 209–210
Уравнение Пелля-Абеля — это функциональное уравнение вида P²-DQ² = 1, с заданным многочленом D, свободным от квадратов, и неизвестными многочленами P и Q. Мы показываем, что пространство уравнений Пелля-Абеля с фиксированными степенями D и примитивным решением P является комплексным многообразием. Мы описываем его связные компоненты с помощью эффективно вычислимого инварианта. ...
Добавлено: 14 августа 2026 г.
Stiefel filters
Богатырев А. Б., Transactions of the Moscow Mathematical Society 2024 Vol. 85 No. 2 P. 323–337
Добавлено: 14 августа 2026 г.
Вариационная формула в модели Шоттки римановых поверхностей
Богатырев А. Б., Успехи математических наук 2026 Т. 81 № 3(489) С. 159–160
Предложена простая и эффективно реализуемая  формула для изменения  абелевых интегралов  (включая их периоды) при вариации образующих классической группы Шоттки, представляющей риманову поврехность. ...
Добавлено: 14 августа 2026 г.
The space of solvable Pell-Abel equations
Gendron Q., Compositio Mathematica 2025 Vol. 161 No. 7 P. 1483–1511
Добавлено: 14 августа 2026 г.
Two-dimensional Fourier transform as a tool for identification of coherent patterns in spiking neuronal networks
Khorunzheva K., Postnikov E., Захаров Д. Г., Chaos, Solitons and Fractals 2026 Vol. 212 No. 2 P. 1–12
Идентификация когерентных состояний спайковых нейронных сетей является фундаментальной задачей теории синхронизации, при этом традиционные методы требуют больших вычислительных затрат. Мы применяем к анализу различных состояний спайковых нейронных сетей кристаллографические идеи обработки периодических структур. В частности, предложенный нами подход основан на применении двумерного преобразования Фурье к пространственно-временным диаграммам. По положению пиков в обратном пространстве этот метод ...
Добавлено: 13 августа 2026 г.
Generative geospatial modelling with geometric algebra
Yu Z., Wang J., Wang Z. и др., Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2026 Vol. 384 P. 1–16
Добавлено: 13 августа 2026 г.
Православное сакральное искусство между каноном и современностью: вызовы и трансформации художественных практик в постсоветском контексте (на примере иконописных школ, архитектурных проектов и художественных мастерских 1990–2024-х гг.)
Армандо Б., Религиоведение 2026 № 2 С. 177–185
Автор исследует развитие православного сакрального искусства в XXI в. в контексте диалога между канонической традицией, художественным новаторством и поисками национального художественного стиля. Особое внимание уделяется новым школам иконописи и архитектуры, возникшим в России и других православных странах, а также влиянию богословских, культурных и эстетических факторов на формирование современной иконографической практики. Анализируются конкретные авторские мастерские, художественные проекты и ...
Добавлено: 13 августа 2026 г.
New bound on S1× S2-setting Bell locality of a nonseparable Werner state
Лубенец Е. Р., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.
Добавлено: 21 июля 2026 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору