Une approche de la construction d'un modèle dénombrable pour la théorie de Zermelo-Fraenkel

J. F. Pabion

Publications du Département de mathématiques (Lyon) (1967)

  • Volume: 4, Issue: 3, page 15-31
  • ISSN: 0076-1656

How to cite

top

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) 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. [1] Daniel Ponasse : Logique mathématique (cours polycopié de la Fac. des Sc. de Lyon). 
  2. [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. [3] E. Mendelson : Introduction to mathematical logic (Van Nostrand1964). Zbl0192.01901MR164867
  4. [4] A. Grzegorczyk : Fonctions récursives (Gauthier-Villars1961). Zbl0101.25003
  5. [5] A. Fraenkel et Y. Bar-Hillel : Foundations of set theory (North Holland1958) Zbl0623.03047MR101841

NotesEmbed ?

top

You must be logged in to post comments.