# Section "Model theory"

### Heads - Palyutin, Baldwin, Zil'ber

## Wednesday, 11 August, 15.00

*O.V.Belegradek* **Definable sets in expansions of ordered abelian groups by bounded relations**
*S.V.Sudoplatov* **Type identifications in trigonometrical theories**
*A.G.Pinus* **On the functions which commute with the semigroups of transformations of algebras**

## Friday, 13 August, 15.00

*Russell May* **A new proof that J<l is generated from J<l by adding a singleton**
*Philip Ehrlich* **Number systems with simplicity hierarchies: a generalisation of Conway's theory of surreal numbers**
*A.S.Denisov* **The satisfiability of alternative formulas**

## Saturday, 14 August, 15.00

*A.V.Trofimov* **Elementary properties of expanded Ershov algebras**
*S.A.Chikhachev* **On the number of algebraic models of universal theories**