Text this: Archive for Mathematical Logic