The Logic seminar meets on Wednesdays at 11:00.

2019
Apr
10

# Logic Seminar - Yatir Halevi

11:00am to 1:00pm

## Location:

Ross 63

**Type Definable Semigroups in Stable Structures**

A semigroup is a set together with an associative binary operation. As opposed to stable groups, the model theory of stable semigroups is not so rich. One reason for that is their abundance.

We will review (and prove) some known results on type-definable semigroups in stable structures and offer some examples and counter-examples.