B-separating algebras

DOI10.1007/BF01988800MaRDI QIDQ1091413zbMATH OpenFDO

Authors A. I. Omarov

Publication date 1986

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01988800

zbMATH Keywords

Boolean powerselementary equivalenceequationally compactfinite B-separating algebraisomorphismuniversal algebra

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Models with special properties (saturated, rigid, etc.) (03C50) Equational compactness (08A45) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Review text

A universal algebra A is said to be B-separating if any isomorphism of its Boolean powers \(A[B_ 1]\) and \(A[B_ 2]\) implies \(B_ 1\cong B_ 2\). In this paper some problems of \textit{S. Burris} [Algebra Univers. 5, 341-360 (1975; Zbl 0328.08003)] are solved. In particular the following results are proved: 1) No Abelian group is B-separating; 2) If A is a finite B-separating algebra and A[B] is equationally compact then B is complete; 3) (GCH) If A[B] is k-saturated (k\(\geq \omega)\) then B is k- saturated; 4) If A is a finite B-separating algebra then \(A[B_ 1]\equiv A[B_ 2]\Rightarrow B_ 1\equiv B_ 2\) (elementary equivalence).

Recommendations

• Separation properties and Boolean powers
• Boolean powers of abelian groups
• The countable homogeneous universal model of \(B_ 2\)
• Completely separating algebras
• Applications of Boolean powers of algebraic systems

Cites work

• Boolean powers
• Counting models in universal Horn classes

Cited in

(3)

• Completely separating algebras
• A.D. Taimanov and model theory in Kazakhstan
• scientific article; zbMATH DE number 5548024 (Why is no real title available?)

This page was built for publication: B-separating algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1091413)