Elementary equivalence of automorphism groups and second order logic

Seminar

Speaker

Elena Bunina (Bar-Ilan University)

Date

25/12/2024 - 11:30 - 10:30Add to Calendar 2024-12-25 10:30:00 2024-12-25 11:30:00 Elementary equivalence of automorphism groups and second order logic We will show that in some cases the elementary theory of endomorphism rings and automorphism groups of different types of structures (modules or groups) often contains the full second order theory of these structures. We will show concrete results for endomorphism rings and automorphism groups of torsion abelian groups. Third floor seminar room and Zoom אוניברסיטת בר-אילן - המחלקה למתמטיקה mathoffice@math.biu.ac.il Asia/Jerusalem public

Place

Third floor seminar room and Zoom

Abstract

We will show that in some cases the elementary theory of endomorphism rings and automorphism groups of different types of structures (modules or groups) often contains the full second order theory of these structures. We will show concrete results for endomorphism rings and automorphism groups of torsion abelian groups.