Zoom link:
https://huji.zoom.us/j/83451575476?pwd=qenLt3PMhvuZ665ns0Acc63QdKSb4c.1
Meeting ID: 834 5157 5476
Passcode: 649027
Title: Matchings in measure-preserving graphs and invariant Keisler measures
Abstract: Given any model-theoretic structure, a measure-preserving
graph is a definable bipartite graph whose edge relation is a finite
union of graphs of isomorphisms - definable bijections that we think of
as being measure-preserving.
We prove the existence of almost perfect definable matchings in
k-regular measure-preserving graphs for k at least 2, and derive some
consequences for the associated Grothendieck semigroup.
This is part of an ongoing project motivated by a long-standing open
question in o-minimality.