Bychkov B., Dunin-Barkowski P., Kazaryan M. et al.
Transactions of the American Mathematical Society. 2025. Vol. 378. No. 2. P. 1001-1054.
Разумный П. М., 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.
Timorin V., Blokh A., Oversteegen L. et al.
math. arXiv. Cornell University, 2023
О МИАНе
Математический институт им. В. А. Стеклова Российской академии наук (сокращенно МИАН) — российский научно-исследовательский институт в области математики, один из ведущих мировых научных математических центров. Создан в соответствии с Постановлением Общего собрания АН СССР от 28 апреля 1934 года о разделении Физико-математического института на два учреждения: Институт математики и Институт физики. Институт проводит фундаментальные исследования по проблемам фундаментальной математики и ряду её приложений, а также по важным проблемам механики, математической и теоретической физики.