collaborators

1 paper

math.LO2023

Symétrons et K-boucles omega-stables

Samuel Zamour

We develop the model theory of omega-stable K-loops and 'symétrons'. Continuing Poizat's seminal work, we notably establish an appropriate version of the indecomposability theorem…