A28 - Institute of Mathematical Logic