Carol Karp. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages, edited by Jon Barwise, Lecture notes in mathematics, no. 72, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 80–95.
Nigel J. Cutland · Journal of Symbolic Logic · 1974
Carol Karp. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages, edited by Jon Barwise, Lecture notes in mathematics, no. 72, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 80–95. - Volume 39 Issue 2