Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.
Bychkov B., Dunin-Barkowski P., Maxim Kazarian et al.
Journal of London Mathematical Society. 2024. Vol. 109. No. 6.
Разумный П. М., Shamkanov D. S.
In bk.: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts. M.: 2023. P. 64-66.
math. arXiv. Cornell University, 2024