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), Tome 4 (1967) no. 3, pp. 15-31.
@article{PDML_1967__4_3_15_0,
     author = {Pabion, J. F.},
     title = {Une approche de la construction d'un mod\`ele d\'enombrable pour la th\'eorie de {Zermelo-Fraenkel}},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     pages = {15--31},
     publisher = {Universit\'e Claude Bernard - Lyon 1},
     volume = {4},
     number = {3},
     year = {1967},
     mrnumber = {237322},
     zbl = {0164.31301},
     language = {fr},
     url = {http://www.numdam.org/item/PDML_1967__4_3_15_0/}
}
TY  - JOUR
AU  - Pabion, J. F.
TI  - Une approche de la construction d'un modèle dénombrable pour la théorie de Zermelo-Fraenkel
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1967
SP  - 15
EP  - 31
VL  - 4
IS  - 3
PB  - Université Claude Bernard - Lyon 1
UR  - http://www.numdam.org/item/PDML_1967__4_3_15_0/
LA  - fr
ID  - PDML_1967__4_3_15_0
ER  - 
%0 Journal Article
%A Pabion, J. F.
%T Une approche de la construction d'un modèle dénombrable pour la théorie de Zermelo-Fraenkel
%J Publications du Département de mathématiques (Lyon)
%D 1967
%P 15-31
%V 4
%N 3
%I Université Claude Bernard - Lyon 1
%U http://www.numdam.org/item/PDML_1967__4_3_15_0/
%G fr
%F PDML_1967__4_3_15_0
Pabion, J. F. 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), Tome 4 (1967) no. 3, pp. 15-31. http://www.numdam.org/item/PDML_1967__4_3_15_0/

[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. Lyon 1966 t. 3 fasc. 1). | Numdam | MR | Zbl

[3] E. Mendelson : Introduction to mathematical logic (Van Nostrand 1964). | MR | Zbl

[4] A. Grzegorczyk : Fonctions récursives (Gauthier-Villars 1961). | Zbl

[5] A. Fraenkel et Y. Bar-Hillel : Foundations of set theory (North Holland 1958) | MR | Zbl