Видеотека: новые поступления

Взаимодействие механики и оптики в творчестве И. Ньютона

Fri, 04 Sep 2026 16:37:03 +0300

Е. А. Зайцев

3 сентября 2026 г. 18:00

Н.Н. Лузин, А‑множествa и ранняя дескриптивная теория множеств: новые материалы и интерпретации

Fri, 04 Sep 2026 16:13:16 +0300

А. В. Островский

3 сентября 2026 г. 18:00

BB-соответствие в теории топологических диэлектриков

Fri, 04 Sep 2026 12:10:49 +0300

А. Г. Сергеев

1 сентября 2026 г. 12:00

Graph density profiles and domination exponents

Wed, 02 Sep 2026 13:32:16 +0300

A. A. Razborov

28 августа 2026 г. 12:50

Solving the Bergtra–Tucker problem: a c.e. algebra with no finitely presented expansion

Wed, 02 Sep 2026 13:29:39 +0300

B. Khoussainov

28 августа 2026 г. 12:00

Constructible beta models

Wed, 02 Sep 2026 12:10:28 +0300

J. P. Aguilera

28 августа 2026 г. 10:00

On nonstandard models of B\"uchi Arithmetic

Wed, 02 Sep 2026 10:18:42 +0300

K. A. Kovalyov

27 августа 2026 г. 17:00

P.S. Novikov’s work in proof theory: The method of `regular formulas’

Tue, 01 Sep 2026 20:02:23 +0300

L. D. Beklemishev

27 августа 2026 г. 10:30

Combinatorial skeletons and equational logic of cobordism category

Tue, 01 Sep 2026 20:00:15 +0300

M. V. Volkov

27 августа 2026 г. 15:00

Almost Cross varieties of aperiodic monoids

Tue, 01 Sep 2026 19:59:19 +0300

S. V. Gusev

27 августа 2026 г. 15:50

Are there finitely presentable infinite groups with finitely many conjugacy classes and why are they interesting?

Tue, 01 Sep 2026 17:40:28 +0300

J. A. Makowsky

26 августа 2026 г. 10:00

On generalized word problem in groups of automorphisms of trees

Tue, 01 Sep 2026 17:39:50 +0300

T. Smirnova-Nagnibeda

26 августа 2026 г. 10:50

Forcing axioms and Hilbert's first problem

Tue, 01 Sep 2026 17:39:18 +0300

R. Schindler

26 августа 2026 г. 15:00

MSO logic of the real order with the set quantifiers ranging over the Borel sets

Tue, 01 Sep 2026 17:38:04 +0300

M. Džamonja

26 августа 2026 г. 15:50

Fair allocation of countably many indivisible goods

Tue, 01 Sep 2026 17:37:45 +0300

Abhishek De

27 августа 2026 г. 12:20

Memorial session

Tue, 01 Sep 2026 12:49:18 +0300

26 августа 2026 г. 17:00

On the word problem for just infinite groups

Tue, 01 Sep 2026 10:20:38 +0300

A. L. Talambutsa

25 августа 2026 г. 17:00

P.S. Novikov's research on descriptive set theory

Tue, 01 Sep 2026 10:20:01 +0300

V. G. Kanovei

26 августа 2026 г. 12:00

L\'evy–Montague reflection is $\Pi^1_1$-conservative over $\mathsf{WKL}_0$

Mon, 31 Aug 2026 18:32:58 +0300

F. N. Pakhomov

25 августа 2026 г. 15:50

On the relation between the Andrews–Curtis and Zeeman collapsibility conjectures

Mon, 31 Aug 2026 18:32:30 +0300

I. A. Dynnikov

25 августа 2026 г. 15:00