Ведутся технические работы. Это может временно повлиять на скорость работы сайта. Приносим извинения за неудобства и благодарим за ваше понимание!

О.Г. Харлампович. Equations in a free group, first-order theory and beyond