at the

American Institute of Mathematics, Palo Alto, California

organized by

Uri Andrews, Julia F. Knight, and Michael Laskowski

This workshop, sponsored by AIM and the NSF, will be devoted to the interplay between stability theory and computable model theory.

In its formative stages, much of the development of model theory was motivated by questions of computability of structures or theories, so model theory and computable model theory were two sides of the same developing theory. Over the course of the last few decades, the topics have grown rather separate, but in recent years, computable model theory has begun to form several connections with modern model theory. These connections use structural results from stability theory to bound computability of structures or models, and in many cases have also lead to a better understanding of the structure of the models. In this workshop, we hope to further develop this connection, especially in the following areas.

The main topics of the workshop are:

- Automatic quantifier elimination
- Fraisse limits and related constructions
- Complexity of embeddings

The workshop will differ from typical conferences in some regards. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. These include specific problems on which there is hope of making some progress during the workshop, as well as more ambitious problems which may influence the future activity of the field. Lectures at the workshop will be focused on familiarizing the participants with the background material leading up to specific problems, and the schedule will include discussion and parallel working sessions.

The deadline to apply for support to participate in this workshop has passed.

For more information email *workshops@aimath.org*

Plain text announcement or brief announcement.

Go to the
American Institute of Mathematics.

Go to the
list of upcoming workshops.