Mathematical logic quarterly