Advances in Mathematical Logic