Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. (English) Zbl 0222.02064

Studies in Logic and the Foundations of Mathematics. Vol. 62. Amsterdam- London: North-Holland Publishing Company. X, 208 p. Dfl. 40.00 (1971).


03C75 Other infinitary logic
03C35 Categoricity and completeness of theories
03C30 Other model constructions
03C20 Ultraproducts and related constructions
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations