Download PDF - Equivalence relations induced by extensional formulae: classification by means of a new fixed point property