@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://www.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://www.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://www.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://www.numdam.org/item/PDML_1966__3_2_62_0/
[1] 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] Linear reasoning - The Hournal of Sym. Log. vol. 22 (1957) , p. 250-268. | MR | Zbl
:[3] Extension of the Craig-Lyndon interp. theo. The Journ. of Sym. Log. Vol 28 (1963), p. 201-216. | MR | Zbl
:[4] An interpol. theor. in the predicate calculus. Pac. Jour. of Math. vol. 9 (1959) p. 129-142. | MR | Zbl
:[5] 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
: