Une démonstration concernant le théorème d'interpolation généralisé aux ensembles d'énoncés
Publications du Département de mathématiques (Lyon), Tome 3 (1966) no. 2, pp. 62-70. 
@article{PDML_1966__3_2_62_0,
     author = {Cusin, R.},
     title = {Une d\'emonstration concernant le th\'eor\`eme d'interpolation g\'en\'eralis\'e aux ensembles d'\'enonc\'es},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     pages = {62--70},
     publisher = {Universit\'e Claude Bernard - Lyon 1},
     volume = {3},
     number = {2},
     year = {1966},
     mrnumber = {199085},
     zbl = {0178.31201},
     language = {fr},
     url = {http://archive.numdam.org/item/PDML_1966__3_2_62_0/}
}
TY  - JOUR
AU  - Cusin, R.
TI  - Une démonstration concernant le théorème d'interpolation généralisé aux ensembles d'énoncés
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1966
SP  - 62
EP  - 70
VL  - 3
IS  - 2
PB  - Université Claude Bernard - Lyon 1
UR  - http://archive.numdam.org/item/PDML_1966__3_2_62_0/
LA  - fr
ID  - PDML_1966__3_2_62_0
ER  - 
%0 Journal Article
%A Cusin, R.
%T Une démonstration concernant le théorème d'interpolation généralisé aux ensembles d'énoncés
%J Publications du Département de mathématiques (Lyon)
%D 1966
%P 62-70
%V 3
%N 2
%I Université Claude Bernard - Lyon 1
%U http://archive.numdam.org/item/PDML_1966__3_2_62_0/
%G fr
%F PDML_1966__3_2_62_0
Cusin, R. Une démonstration concernant le théorème d'interpolation généralisé aux ensembles d'énoncés. Publications du Département de mathématiques (Lyon), Tome 3 (1966) no. 2, pp. 62-70. http://archive.numdam.org/item/PDML_1966__3_2_62_0/

[1] B. Bourtot & R. Cusin : Une démonstration du théorème de Löwenheim-Skolem. Pub. de L'Inst. de Math. Fac. Sc. LYON - 1966. t. 3 fasc. 1. | Numdam | MR | Zbl

[2] W. Craig : Linear reasoning - The Hournal of Sym. Log. vol. 22 (1957) , p. 250-268. | MR | Zbl

[3] L. Henkin : Extension of the Craig-Lyndon interp. theo. The Journ. of Sym. Log. Vol 28 (1963), p. 201-216. | MR | Zbl

[4] R. Lyndon : An interpol. theor. in the predicate calculus. Pac. Jour. of Math. vol. 9 (1959) p. 129-142. | MR | Zbl

[5] D. Ponasse : Une démonstration du théorème de Gödel Publ. de l'Inst. de Math. de LYON. 1966. t. 3 fasc. 1. | Numdam | MR | Zbl