Nelson, G. C. Boolean powers, recursive models, and the Horn theory of a structure. (English) Zbl 0505.03014 Pac. J. Math. 114, 207-220 (1984). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03C20 Ultraproducts and related constructions 03C07 Basic properties of first-order languages and structures Keywords:Boolean powers; reduced powers; recursive models; Horn theory Citations:Zbl 0328.08003 PDFBibTeX XMLCite \textit{G. C. Nelson}, Pac. J. Math. 114, 207--220 (1984; Zbl 0505.03014) Full Text: DOI