The theory of computable models is an intensively developing area of mathematics that studies the interactions between the theory of models and computability theory. Analyzing the relationships between computable presentations of models, model-theoretic definability and the computable complexity of relations is one of the central problems in this area. A fundamental notion in the study of these...
