Modèles cumulatifs de la théorie des types
Boffa, M.
Publications du Département de mathématiques (Lyon), Tome 14 (1977), p. 9-12 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1977-01-01
@article{PDML_1977__14_2_9_0,
     author = {Boffa, M.},
     title = {Mod\`eles cumulatifs de la th\'eorie des types},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     volume = {14},
     year = {1977},
     pages = {9-12},
     mrnumber = {539972},
     zbl = {0432.03026},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/PDML_1977__14_2_9_0}
}

Boffa, M. Modèles cumulatifs de la théorie des types. Publications du Département de mathématiques (Lyon), Tome 14 (1977) pp. 9-12. http://gdmltest.u-ga.fr/item/PDML_1977__14_2_9_0/

[1] M. Boffa, The consistency probleme for NF (J.S.L. 42 (1977)), p. 215-220. | MR 505490 | Zbl 0377.02040

[2] R. Jensen, On the consistency of a slight (?) modification of Quine's New Foundations, Synthèse 19 (1968/69), p. 250-263. | Zbl 0202.01001

[3] J. Lake, Comparing type theory and set theory, Zeitschr. f. math. Logik u. Grundl. d. Math. 21 (1975), p. 355-356. | MR 376349 | Zbl 0323.02021