[Математический институт имени В. А. Стеклова РАН]

G.S. Boolos, J.P. Burgess, R.C. Jeffrey, Computability and Logic. 5th edition. Cambridge University Press, 2007.
P. Hájek, P. Pudlák, Metamathematics of First-Order Arithmetic. Springer, 1993.
R. Kaye, Models of Peano Arithmetic. Oxford University Press, 1991.
R. Kossak, J. Schmerl, The Structure of Models of Peano Arithmetic. Oxford University Press, 2006.

Ю. Н. Орлов, В. Ж. Сакбаев, О. Г. Смолянов, “Неограниченные случайные операторы и формулы Фейнмана”, 2016
В. М. Бусовиков, Ю. Н. Орлов, В. Ж. Сакбаев, “Унитарное представление блужданий вдоль случайных векторных полей и уравнение Колмогорова–Фоккера–Планка в гильбертовом пространстве”, 2024
Г. Г. Амосов, А. М. Бикчентаев, В. Ж. Сакбаев, “О крайних точках множеств в пространствах операторов и пространствах состояний”, 2024
Р. Ш. Кальметьев, Ю. Н. Орлов, В. Ж. Сакбаев, “Обобщенные когерентные состояния и случайные операторы сдвига”, 2024
Vsevolod Zh. Sakbaev, “Flows in infinite-dimensional phase space equipped with a finitely-additive invariant measure”, 2023

D. Gabbay, V. Shehtman, D. Skvortsov, Quantification in nonclassical logic, v. 1. Elsevier,2009.
А.Г. Драгалин, Математический интуиционизм. Введение в теорию доказательств. М.: Наука, 1979.
M. Fitting, R. Mendelsohn, First-order modal logic. Kluwer, 1998.
D.M. Gabbay, Semantical investigations in Heyting's intuitionistic logic. Synthese Library, 148. Reidel, 1981.

Асеев С.М., Функция условной стоимости и необходимые условия оптимальности для задач оптимального управления с бесконечным горизонтом // Докл. РАН. Матем., информ., проц. упр., 514 (2023), № 1, с. 5-11.
Асеев С.М., Кряжимский А.В., Принцип максимума Понтрягина и задачи оптимального экономического роста // Тр. МИАН, 257 (2007), с. 5-251, 2007.
Асеев С.М., Бесов К.О., Кряжимский А.В., Задачи оптимального управления на бесконечном интервале времени в экономике // УМН, 67 (2012), № 2, с. 3-64.
Асеев С.М., Вельов В.М., Другой взгляд на принцип максимума для задач оптимального управления с бесконечным горизонтом в экономике // УМН, 74 (2019), № 6, с. 3-54.
Барро Р.Дж., Сала-и-Мартин Х., Экономический рост. М.: БИНОМ. Лаборатория знаний, 2010.
Понтрягин Л.С., Болтянский В.Г., Гамкрелидзе Р.В., Мищенко Е.Ф., Математическая теория оптимальных процессов. М.: Наука, 1983.
Aseev S.M., Veliov V.M., Maximum principle for infinite-horizon optimal control problems under weak regularity assumptions // Труды ИММ УрО РАН, 20 (2014), № 3, с. 41–57.
Caputo M.R., Foundations of dynamic economic analysis. Optimal control theory and applications, Cambridge: Cambridge University Press, 2005.
Carlson D.A., Haurie A.B., Leizarowitz A., Infinite horizon optimal control. Deterministic and stochastic systems, Berlin: Springer, 1991.
Dorfman R., An economic interpretation of optimal control theory // American Economic Revew, 59 (1969), p. 817-831.
Ramsey F.P., A mathematical theory of saving // Econ. J., 38 (1928), p. 543-559.
Seierstad A., Sydsæter K., Optimal control theory with economic applications, North Holland, 1987.

S. Burris, H.P. Sankappanavar, A Course in Universal Algebra. Springer, 1981.
S. Givant, P. Halmos, Introduction to Boolean Algebras. Springer, 2009.
A. Chagrov, M. Zakharyaschev, Modal Logic. Oxford University Press, 1997.
D.M. Gabbay, L. Maksimova, Interpolation and Definability: Modal and Intuitionistic Logics. Oxford University Press, 2005.

В.Н. Крупский, Введение в сложность вычислений. Москва: Факториал, 2006.
A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, Many-Dimensional Modal Logics: Theory and Applications, Vol. 148, Elsevier, 2003.
M. Marx, Complexity of Modal Logic. Chapter 3, in: Handbook of Modal Logic, Elsevier, 2006, Editors: P. Blackburn, J. F.A.K. van Benthem, F. Wolter.
E. Spaan, Complexity of Modal Logics. Doctoral thesis, University of Amsterdam (2016).

А. В. Фонарёв, “Производная категория пространства модулей параболических расслоений на P1”, 2023
А. В. Фонарёв, “Двойственные исключительные наборы на лагранжевых грассманианах”, 2023
A. V. Fonarev, “Derived categories of Grassmannians: a survey”, 2024
A. V. Fonarev, “Derived category of moduli of parabolic bundles on P1”, 2023
Anton Fonarev, “Full Exceptional Collections on Lagrangian Grassmannians”, 2022
Anton Fonarev, Alexander Kuznetsov, “Derived categories of curves as components of Fano manifolds”, 2018
Anton Fonarev, “Irreducible Ulrich bundles on isotropic Grassmannians”, 2016

Götze F., Naumov A., Spokoiny V., Ulyanov V. V., “Large ball probability, Gaussian comparison and anti-concentration”, Bernoulli, 15:4(A) (2019), 2538-2563
Naumov A., Spokoiny V., Ulyanov V. V., “Bootstrap confidence sets for spectral projectors of sample covariance”, Probability theory and related fields, 174:3-4 (2019), 1091-1132
Goetze F., Naumov A.A., Tikhomirov A., Timushev D., “On the local semicircular law for Wigner ensembles”, Bernoulli, 24:3 (2018), 2358-2400
Kaledin M., Moulines E., Naumov A., Tadic V., Wai H., “Finite Time Analysis of Linear Two-timescale Stochastic Approximation with Markovian Noise”, Proceedings of Thirty Third Conference on Learning Theory, Proceedings of Machine Learning Research, 125, PMLR, 2020, 2144-2203
Tiapkin D., Belomestny D., Moulines E., Naumov A., Samsonov S., Tang Y., Valko M., Menard P., “From Dirichlet to Rubin: Optimistic Exploration in RL without Bonuses”, Proceedings of the 39th International Conference on Machine Learning, Proceedings of Machine Learning Research, 162, PMLR, 2022, 21380-21431