Expressions indéterminées, constructivisme et axiome du choix
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1992)
- Volume: 33, Issue: 3, page 279-288
- ISSN: 1245-530X
Access Full Article
top
How to cite
topProuté, Alain. "Expressions indéterminées, constructivisme et axiome du choix." Cahiers de Topologie et Géométrie Différentielle Catégoriques 33.3 (1992): 279-288. <http://eudml.org/doc/91507>.
@article{Prouté1992,
author = {Prouté, Alain},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {indeterminate expressions; subtypes; quotient types; Axiom of Choice},
language = {fre},
number = {3},
pages = {279-288},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Expressions indéterminées, constructivisme et axiome du choix},
url = {http://eudml.org/doc/91507},
volume = {33},
year = {1992},
}
TY - JOUR
AU - Prouté, Alain
TI - Expressions indéterminées, constructivisme et axiome du choix
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1992
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 33
IS - 3
SP - 279
EP - 288
LA - fre
KW - indeterminate expressions; subtypes; quotient types; Axiom of Choice
UR - http://eudml.org/doc/91507
ER -
References
top- [1] R. Diaconescu (1975) Axiom of Choice and Complementation. Proc. Amer. Math. Soc.51, 176-178. Zbl0317.02077MR373893
- [2] K. Gëdel (1931) Über formal unentscheidbare Sätze der Principia Mathematica und verwandter System I. Monatsh. Math. Phys.38, 173-198. Zbl57.0054.02MR1549910JFM57.0054.02
- [3] A. Heyting (1955) Les fondements des mathématiques. Intuitionnesme. Théorie de la démonstration. Gauthier-Villars, Paris. Zbl0066.01006
- [4] P. Martin-Löf (1982) Constructive Mathematics and Computer Programming. dans: Cohen et al.: Logic, Methodology and Philosophy of Science VINorth-Holland, Amsterdam, 153-175. Zbl0541.03034MR682410
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.