BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Gabriel Conant (The Ohio State University) DTSTART:20221027T180000Z DTEND:20221027T190000Z DTSTAMP:20260423T035632Z UID:OLS/96 DESCRIPTION:Title: Sep aration for isometric group actions and hyperimaginary independence\nb y Gabriel Conant (The Ohio State University) as part of Online logic semin ar\n\n\nAbstract\nIn the theory of (finite) permutation groups\, P. M. Neu mann’s Lemma says that if a group G acts on a set X\, and P is a finite subset of X such that all points of P have an infinite orbit\, then for an y other finite set in Q there is a group element g such that gP is disjoin t from Q. When applied to the automorphism group of a first-order structur e\, this lemma can be used to prove a number of useful results in model th eory. In this talk\, I will present a metric space version of P. M. Neumma n’s Lemma\, along with several applications in the model theory of metri c structures. For example\, we show that algebraic independence in continu ous logic satisfies the “full existence axiom”\, answering a question of Andrews\, Goldbring\, and Keisler. Time permitting\, I will also discus s some consequences for hyperimaginaries\, which are new even in classical discrete logic. Joint work with J. Hanson.\n LOCATION:https://researchseminars.org/talk/OLS/96/ END:VEVENT END:VCALENDAR