Suppes'set theoretical predicates - Costa, N C A; Chuaqui, R (Erkenntnis, 1988)