Moens, J. L. Forcing et sémantique de Kripke-Joyal. (French) Zbl 0565.03013 Cahiers du Centre de Logique 3. Louvain-la-Neuve: Université Catholique de Louvain, Institut Supérieur de Philosophie (ISBN 2-87077-098-7). ii, 28 p. (1982). Reviewer: A.Kock MSC: 03C25 18F10 03G30 PDFBibTeX XMLCite \textit{J. L. Moens}, Forcing et sémantique de Kripke-Joyal. Louvain-la-Neuve: Université Catholique de Louvain, Institut Supérieur de Philosophie (1982; Zbl 0565.03013)
Grulović, Milan A note on forcing and weak interpolation theorem for infinitary logics. (English) Zbl 0559.03021 Zb. Rad., Prir.-Mat. Fak., Univ. Novom Sadu, Ser. Mat. 12, 327-348 (1982). Reviewer: J.Oikkonen MSC: 03C75 03C25 03C40 PDFBibTeX XMLCite \textit{M. Grulović}, Zb. Rad., Prir.-Mat. Fak., Univ. Novom Sadu, Ser. Mat. 12, 327--348 (1982; Zbl 0559.03021)
Grulović, Milan A note on forcing and weak interpolation theorem for infinitary logics. (English) Zbl 0538.03032 Zb. Rad., Prir.-Mat. Fak., Univ. Novom Sadu, Ser. Mat. 12, 327-348 (1982). Reviewer: J.Flum MSC: 03C75 03C25 03C40 PDFBibTeX XMLCite \textit{M. Grulović}, Zb. Rad., Prir.-Mat. Fak., Univ. Novom Sadu, Ser. Mat. 12, 327--348 (1982; Zbl 0538.03032)
Lablanquie, Jean-Claude Extensions existentielles forcing-completes de théories forcing- completes. (French) Zbl 0523.03019 C. R. Acad. Sci., Paris, Sér. I 294, 669-672 (1982). MSC: 03C25 PDFBibTeX XMLCite \textit{J.-C. Lablanquie}, C. R. Acad. Sci., Paris, Sér. I 294, 669--672 (1982; Zbl 0523.03019)
Reineke, Joachim On algebraically closed models of theories of commutative rings. (English) Zbl 0504.03018 Logic, methodology and philosophy of science VI, Proc. 6th int. Congr., Hannover 1979, Stud. Logic Found. Math. 104, 223-234 (1982). MSC: 03C60 03C25 03C52 PDFBibTeX XML