Boolean powers, recursive models, and the Horn theory of a structure

DOI10.2140/pjm.1984.114.207zbMath0505.03014OpenAlexW2003417598MaRDI QIDQ1835913

George C. Nelson

Publication date: 1984

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.1984.114.207

zbMATH Keywords

Horn theoryBoolean powersrecursive modelsreduced powers

Mathematics Subject Classification ID

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

Related Items

Model theoretic properties in the variety generated by a primal algebra