Solutions for the course 'Advanced Mathematical Logic'.