American Institute of Mathematics, Palo Alto, California
Uri Andrews, Julia F. Knight, and Michael Laskowski
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:
The workshop schedule.
A report on the workshop activities.
A list of open problems.