<div dir="ltr"><div><font color="#000000" face="arial, sans-serif">Dear all, </font></div><div><font color="#000000" face="arial, sans-serif">You can see the information for this week's seminar in our department below.</font></div><div><div><div><div><font color="#000000" face="arial, sans-serif">---------</font></div><div><font color="#000000" face="arial, sans-serif"><b>Time: </b>Wednesday, 20 April 2022, 15:00</font></div></div></div><div><font face="arial, sans-serif" color="#000000"><b><br></b></font></div><div><font color="#000000"><font face="arial, sans-serif"><b>Speaker:</b><b> </b>Daniel Max Hoffmann (University of Warsaw)</font></font></div><div><font face="arial, sans-serif" color="#000000"><b><br></b></font></div><div><font face="arial, sans-serif" color="#000000"><b>Title: </b><span style="caret-color: rgb(0, 0, 0);">On finite group action and model theory</span></font></div><font color="#000000" face="arial, sans-serif"><br></font><div><font face="arial, sans-serif" color="#000000"><b>Abstract:</b> <span style="caret-color: rgb(0, 0, 0);">I will present results from my joint project with Piotr Kowalski. It is about a model-theoretic description of actions of a fixed finite group on quite arbitrary structures. More precisely, take a big model M of some stable theory and a group G. Consider the family of all substructures of M equipped with a group action (by automorphisms) of G. The question is whether the sub-family of existentially closed (i.e. rich in "solutions of equations") substructures with a group action of G can be axiomatized, so whether we can first order statements which correspond to being rich in solutions. We will analyze the situation for finite G and express the problem in terms involving only the invariants of the group action.</span></font></div><div><font face="arial, sans-serif" color="#000000"><span style="caret-color: rgb(0, 0, 0);"><br></span></font></div><div><font color="#000000"><b>Link: </b></font><a href="https://teams.microsoft.com/l/meetup-join/19%3a1eaca84648fa440e94bc4d7382675247%40thread.tacv2/1650261572215?context=%7b%22Tid%22%3a%22ddd5afa6-82d7-4e0e-b457-3000f5a23749%22%2c%22Oid%22%3a%22b11f2b28-e233-4b68-b781-77d2029695cb%22%7d">https://teams.microsoft.com/l/meetup-join/19%3a1eaca84648fa440e94bc4d7382675247%40thread.tacv2/1650261572215?context=%7b%22Tid%22%3a%22ddd5afa6-82d7-4e0e-b457-3000f5a23749%22%2c%22Oid%22%3a%22b11f2b28-e233-4b68-b781-77d2029695cb%22%7d</a></div></div><div><font color="#000000">---------</font></div><div><font color="#000000"><b>For future talks please visit: </b><a href="https://researchseminars.org/seminar/MSGSUMath" target="_blank">https://researchseminars.org/seminar/MSGSUMath</a></font></div><div><font color="#000000"><br></font></div><div><font color="#000000">Best,</font></div><div><font color="#000000"><br></font></div><div><font color="#000000">İpek Tuvay</font></div></div>