Computably categorical structures and expansions by constants

Effective model theory is the subject that analyzes the typical notions and results of model theory to determine their effective content and counterparts to introduce considerations of effectiveness into the area.