%0 Journal Article %A E. Lopez-Escobar %T An interpolation theorem for denumerably long formulas %J Fundamenta Mathematicae %D 1965 %P 253-272 %V 57 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-57-3-253-272/ %R 10.4064/fm-57-3-253-272 %G en %F 10_4064_fm_57_3_253_272