Definability Over the Class of all Partitions
scientific article