Elementary equivalence of derivative structures of classical and universal algebras and second order logic

Friday, February 6, 201511:00 amGC 4102 (Science Center)

Alexander Mikhalyov

Elementary equivalence of derivative structures of classical and universal algebras and second order logic

Lomonosov Moscow State University

We give a survey of results in this direction for last 50-60 years (with some accents on recent results on elementary equivalence of endomorphism rings and automorphism groups of Abelian p-groups (E. I. Bunina, A. V. Mikhalev, and M. Royzner, 2013-2014).

Posted by on January 31st, 2015