Text this: Zeitschrift fur mathematische logik und grundlagen der mathematik