Model Theory Seminar | Nicolas Chavarria Gomez | Internality and binding groups in continuous logic

In joint work-in-progress with Rahim Moosa, we explore the notion of internality in continuous logic and show that, whenever this phenomenon arises in a metric structure, a definable binding group arises together with it. This requires navigating some of the difficulties of what definability means in the continuous sense.

MC 5403