<div dir="ltr"><div>Hi everyone,<br></div><div><br>This week we are pleased to have Thomas Koberda (U Virginia) speaking about homeomorphism groups, title and abstract below. This will be an <b>in-person talk</b>, on Thursday at 2:50 pm in WH 100E.<br><br>We will also take the speaker to lunch at noon, and to dinner after the talk. If you would like to join us for lunch, meet us today Thursday at 12 pm just outside WH100E. See you there!<br><br>Best,<br>Cary and Roman<div><div><br></div><div>=========================================</div></div></div><div><b>Title</b>: The first order theory of homeomorphism groups of compact manifolds<br><b>Abstract</b>: I will describe some recent work on the first order theory of homeomorphism groups of manifolds. I will discuss a new result which shows that the homeomorphism groups of two compact manifolds are elementarily equivalent if and only if the two manifolds are homeomorphic, which resolves an old conjecture of Rubin. I will then describe some of the expressive power of the language of groups in the theory of homeomorphism groups, with implications for the subgroup structure of homeomorphism groups, and for the descriptive set theory of these groups.<br></div></div>