A note forcing and weak interpolation theorem for infinitary logics


Milan Grulović




Our considerations are connected with the results of the first three chapters of [1]. The aim of this paper is to contribute in someway to a better understanding of the purpose of introducing weak formulas while dealing with the forcing relation for infinitary logics (Theorem 1.23) as well as to correct, in our opinion, the proof of the weak form of the Interpolation theorem for infinitary logics.