@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] Logique mathématique (cours polycopié de la Fac. des Sc. de Lyon).
:[2] 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
et :[3] Introduction to mathematical logic (Van Nostrand 1964). | MR | Zbl
:[4] Fonctions récursives (Gauthier-Villars 1961). | Zbl
:[5] Foundations of set theory (North Holland 1958) | MR | Zbl
et :