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
top
How to cite
topPabion, 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) 4.3 (1967): 15-31. <http://eudml.org/doc/274312>.
@article{Pabion1967,
author = {Pabion, J. F.},
journal = {Publications du Département de mathématiques (Lyon)},
keywords = {set theory},
language = {fre},
number = {3},
pages = {15-31},
publisher = {Université Claude Bernard - Lyon 1},
title = {Une approche de la construction d'un modèle dénombrable pour la théorie de Zermelo-Fraenkel},
url = {http://eudml.org/doc/274312},
volume = {4},
year = {1967},
}
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
PB - Université Claude Bernard - Lyon 1
VL - 4
IS - 3
SP - 15
EP - 31
LA - fre
KW - set theory
UR - http://eudml.org/doc/274312
ER -
References
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
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.