An interpolation theorem for denumerably long formulas | Publicación