Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
Bernardi, Claudio ; Montagna, Franco
Fundamenta Mathematicae, Tome 123 (1984), p. 221-233 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1984-01-01
EUDML-ID : urn:eudml:doc:211552 
@article{bwmeta1.element.bwnjournal-article-fmv124i1p16bwm,
     author = {Claudio Bernardi and Franco Montagna},
     title = {Equivalence relations induced by extensional formulae: classification by means of a new fixed point property},
     journal = {Fundamenta Mathematicae},
     volume = {123},
     year = {1984},
     pages = {221-233},
     zbl = {0564.03043},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv124i1p16bwm}
}

Bernardi, Claudio; Montagna, Franco. Equivalence relations induced by extensional formulae: classification by means of a new fixed point property. Fundamenta Mathematicae, Tome 123 (1984) pp. 221-233. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv124i1p16bwm/