RUS  ENG
Full version
SEMINARS

Seminars "Proof Theory" and "Logic Online Seminar"
August 4, 2025 16:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + online


First-order complexity of random finite structures

M. E. Zhukovskii

The University of Sheffield


© Steklov Math. Inst. of RAS, 2025