Geodesic
The
Manuscripta mathematica, Tome 38 (1982), pp. 325-332.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : intuitionistic set theory with countable or dependent choice, field extension, choice of roots, generic model, choice function, forcing over categories, intuitionistic ZF, presheaf topos 
@article{MM2_1982__38_154862,
     author = {M.P. Fourman and A. Scedrov},
     title = {The},
     journal = {Manuscripta mathematica},
     pages = {325--332},
     publisher = {mathdoc},
     volume = {38},
     year = {1982},
     zbl = {0499.03048},
     url = {http://geodesic.mathdoc.fr/item/MM2_1982__38_154862/}
}
TY  - JOUR
AU  - M.P. Fourman
AU  - A. Scedrov
TI  - The
JO  - Manuscripta mathematica
PY  - 1982
SP  - 325
EP  - 332
VL  - 38
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MM2_1982__38_154862/
ID  - MM2_1982__38_154862
ER  - 
%0 Journal Article
%A M.P. Fourman
%A A. Scedrov
%T The
%J Manuscripta mathematica
%D 1982
%P 325-332
%V 38
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MM2_1982__38_154862/
%F MM2_1982__38_154862
M.P. Fourman; A. Scedrov. The. Manuscripta mathematica, Tome 38 (1982), pp. 325-332. http://geodesic.mathdoc.fr/item/MM2_1982__38_154862/