×

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
PDF BibTeX XML Cite
Full Text: DOI Link Link