Archive For Mathematical Logic