×

Boolean powers, recursive models, and the Horn theory of a structure. (English) Zbl 0505.03014


MSC:

03C20 Ultraproducts and related constructions
03C07 Basic properties of first-order languages and structures

Citations:

Zbl 0328.08003
PDFBibTeX XMLCite
Full Text: DOI