Keisler, H. Jerome 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 7 ReviewsCited in 136 Documents MSC: 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 PDF BibTeX XML OpenURL