Seminar Mathematical Logic 2019/20