An interpolation theorem for denumerably long formulas

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

E. Lopez-Escobar Fundamenta Mathematicae 57 (1965), 253-272 DOI: 10.4064/fm-57-3-253-272