Seminar Mathematical Logic 2018