Equivalence relations induced by extensional formulae: classification by means of a new fixed point property Claudio Bernardi, Franco Montagna (1984) Fundamenta Mathematicae