An interpolation theorem for denumerably long formulas

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

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