Modèles cumulatifs de la théorie des types
Publications du Département de mathématiques (Lyon) (1977)
- Volume: 14, Issue: 2, page 9-12
- ISSN: 0076-1656
Access Full Article
top
How to cite
topBoffa, M.. "Modèles cumulatifs de la théorie des types." Publications du Département de mathématiques (Lyon) 14.2 (1977): 9-12. <http://eudml.org/doc/274191>.
@article{Boffa1977,
author = {Boffa, M.},
journal = {Publications du Département de mathématiques (Lyon)},
keywords = {extensionality; comprehension; type theory; fragments of classical set theory},
language = {fre},
number = {2},
pages = {9-12},
publisher = {Université Claude Bernard - Lyon 1},
title = {Modèles cumulatifs de la théorie des types},
url = {http://eudml.org/doc/274191},
volume = {14},
year = {1977},
}
TY - JOUR
AU - Boffa, M.
TI - Modèles cumulatifs de la théorie des types
JO - Publications du Département de mathématiques (Lyon)
PY - 1977
PB - Université Claude Bernard - Lyon 1
VL - 14
IS - 2
SP - 9
EP - 12
LA - fre
KW - extensionality; comprehension; type theory; fragments of classical set theory
UR - http://eudml.org/doc/274191
ER -
References
top- [1] M. Boffa, The consistency probleme for NF (J.S.L.42 (1977)), p. 215-220. Zbl0377.02040MR505490
- [2] R. Jensen, On the consistency of a slight (?) modification of Quine's New Foundations, Synthèse19 (1968/69), p. 250-263. Zbl0202.01001
- [3] J. Lake, Comparing type theory and set theory, Zeitschr. f. math. Logik u. Grundl. d. Math.21 (1975), p. 355-356. Zbl0323.02021MR376349
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.