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

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Claudio Bernardi, Franco Montagna Fundamenta Mathematicae 124 (1984), 221-233 DOI: 10.4064/fm-124-3-221-233