Describir: Annals of Pure & Applied Logic