Title: Advances in Mathematical Logic