[1] P. J. Campbell: Suslin Logic. Ph. D. Thesis, Cornell University, 1971.
[3] F. Halpern: Barwise type results for Suslin logic. submitted to J. of Symb. Logic.
[7] C. R. Karp:
Languages with Expressions of Infinite Length. North Holland, Amsterdam, 1964.
MR 0176910 |
Zbl 0127.00901
[9] K. Kuratowski:
Topology v. I. Academic Press, New York, 1966.
MR 0217751
[10] M. Makkai: Preservation theorems for logic with denumerable conjunctions and disjunctions. J. of Symb. Logic 34 (1969), 437-459.
[11] W. Mallory: Suslin Cylindrical Algebras. Ph. D. Thesis, Rutgers University, 1976.
[14] L. Rieger:
Concerning Suslin algebras (S-algebras) and their representation. (Russian), Czech. Math. J. 5 (1955), 99-142.
MR 0074381
[16] D. Scott: Lectures on Boolean Valued Models for Set Theory. 1967, Summer Institute on Axiomatic Set Theory at U.C.L.A. (mimeographed).
[18] J. R. Shoenfield:
The problem of predicativity. Essays on the Foundations of Mathematics, Magnus Press, Jerusalem, 1961, 132-139.
MR 0164886