Title: Aspects of definability
Subjects: Definability theory (Mathematical logic)