Une approche de la construction d'un modèle dénombrable pour la théorie de Zermelo-Fraenkel
Publications du Département de mathématiques (Lyon) (1967)
- Volume: 4, Issue: 3, page 15-31
- ISSN: 0076-1656
Access Full Article
topHow to cite
topReferences
top- [1] Daniel Ponasse : Logique mathématique (cours polycopié de la Fac. des Sc. de Lyon).
- [2] Daniel Ponasse R. Cusin et B. Bourtot : Une démonstration du théorème de complétude. Une démonstration du théorème de Lowenheim-Skolem. (Pub. du Dép. de Math. Lyon1966 t. 3 fasc. 1). Zbl0207.29601MR197299
- [3] E. Mendelson : Introduction to mathematical logic (Van Nostrand1964). Zbl0192.01901MR164867
- [4] A. Grzegorczyk : Fonctions récursives (Gauthier-Villars1961). Zbl0101.25003
- [5] A. Fraenkel et Y. Bar-Hillel : Foundations of set theory (North Holland1958) Zbl0623.03047MR101841