Une démonstration concernant le théorème d'interpolation généralisé aux ensembles d'énoncés
Cusin, R.
Publications du Département de mathématiques (Lyon), Tome 3 (1966), p. 62-70 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1966-01-01
@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)},
     volume = {3},
     year = {1966},
     pages = {62-70},
     mrnumber = {199085},
     zbl = {0178.31201},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/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) pp. 62-70. http://gdmltest.u-ga.fr/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 199084 | Zbl 0219.02005

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

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

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

[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 197299 | Zbl 0207.29601