Special Topics in Logic: Descriptive Complexity