Previous |  Up |  Next

Article

References:
[1] P. J. Campbell: Suslin Logic. Ph. D. Thesis, Cornell University, 1971.
[2] E. Ellentuck: The foundations of Suslin logic. in J. of Symb. Logic 40 (1975), 567-575. DOI 10.2307/2271780 | MR 0392502
[3] F. Halpern: Barwise type results for Suslin logic. submitted to J. of Symb. Logic.
[4] P. Halmos: Lectures on Boolean Algebras. van Nostrand Math. Studies #1, New York, 1963. MR 0167440 | Zbl 0114.01603
[5] L. Henkin: Boolean representation thru propositional calculus. Fund. Math. 41 (1955), 89-96. MR 0063325
[6] T. Jech: Lectures in Set Theory. Springer-Verlag, New York, 1971. MR 1492987 | Zbl 0236.02048
[7] C. R. Karp: Languages with Expressions of Infinite Length. North Holland, Amsterdam, 1964. MR 0176910 | Zbl 0127.00901
[8] H. J. Keisler: Infinitary Logic. North Holland, Amsterdam, 1971. MR 0344115 | Zbl 0222.02064
[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.
[12] R. Morais: Projective Logic. Ph. D. Thesis, Rutgers University, 1976. MR 0479932 | Zbl 0403.03028
[13] L. Rieger: On free $\aleph$-complete Boolean algebras (with an application to logic). Fund. Math. 38 (1951), 35-52. MR 0050561
[14] L. Rieger: Concerning Suslin algebras (S-algebras) and their representation. (Russian), Czech. Math. J. 5 (1955), 99-142. MR 0074381
[15] J. B. Rosser: Simplified Independence Proofs. Academic Press, New York, 1969. MR 0249290 | Zbl 0209.30502
[16] D. Scott: Lectures on Boolean Valued Models for Set Theory. 1967, Summer Institute on Axiomatic Set Theory at U.C.L.A. (mimeographed).
[17] W. Sierpinski: Les Ensembles projectifs et analytiques. Gauthier-Villars, Paris, 1950. MR 0052484 | Zbl 0039.04701
[18] J. R. Shoenfield: The problem of predicativity. Essays on the Foundations of Mathematics, Magnus Press, Jerusalem, 1961, 132-139. MR 0164886
[19] R. Sikorski: Boolean Algebras. Springer-Verlag, New York, 1960. MR 0126393 | Zbl 0087.02503
Partner of
EuDML logo