Zeitschrift fur mathematische logik und grundlagen der mathematik