Journal: Reports on Mathematical Logic