Geodesic
Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
Fundamenta Mathematicae, Tome 124 (1984) no. 3, pp. 221-233

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

DOI : 10.4064/fm-124-3-221-233

Claudio Bernardi 1 ; Franco Montagna 1

1 
@article{10_4064_fm_124_3_221_233,
     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},
     pages = {221--233},
     publisher = {mathdoc},
     volume = {124},
     number = {3},
     year = {1984},
     doi = {10.4064/fm-124-3-221-233},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-124-3-221-233/}
}
TY  - JOUR
AU  - Claudio Bernardi
AU  - Franco Montagna
TI  - Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
JO  - Fundamenta Mathematicae
PY  - 1984
SP  - 221
EP  - 233
VL  - 124
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-124-3-221-233/
DO  - 10.4064/fm-124-3-221-233
LA  - en
ID  - 10_4064_fm_124_3_221_233
ER  - 
%0 Journal Article
%A Claudio Bernardi
%A Franco Montagna
%T Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
%J Fundamenta Mathematicae
%D 1984
%P 221-233
%V 124
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-124-3-221-233/
%R 10.4064/fm-124-3-221-233
%G en
%F 10_4064_fm_124_3_221_233
Claudio Bernardi; Franco Montagna. Equivalence relations induced by extensional formulae: classification by means of a new fixed point property. Fundamenta Mathematicae, Tome 124 (1984) no. 3, pp. 221-233. doi: 10.4064/fm-124-3-221-233

Cité par Sources :