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