## Computability-theoretic complexity of countable structures.(English)Zbl 1039.03027

This papers surveys a number of recent developments in computable model theory. They include Csima’s work in prime models, models of arithmetic, work on the possible $$n$$ quantifier diagrams of models and spectral problems for isomorphism types.

### MSC:

 03C57 Computable structure theory, computable model theory

### Keywords:

computable model theory; survey
Full Text: