scientific article

zbMath0478.08001MaRDI QIDQ3934450

Hanamantagouda P. Sankappanavar, Stanley N. Burris

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidabilitytextbookcomplete latticesStone dualityequational logicBoolean algebrasloopsclosure operationsfree algebrasorthogonal Latin squaresSteiner triple systemssubdirect productsdiscriminator varietiesequational theoriesMal'cev conditionsisomorphism theoremsfully invariant congruencessemantic embeddingsBoolean productsreduced productscongruence-distributive varietiesprimal algebrasBoolean powers, ultraproducts

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Equational logic, Mal'tsev conditions (08B05) Lattice ideals, congruence relations (06B10) Stone spaces (Boolean spaces) and related structures (06E15) Structure theory of algebraic structures (08A05) Congruence modularity, congruence distributivity (08B10) Free algebras (08B20) Automorphisms and endomorphisms of algebraic structures (08A35) Products, amalgamated products, and other kinds of limits and colimits (08B25) Axiomatic model classes (08C10) Boolean algebras (Boolean rings) (06Exx) Varieties (08Bxx) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)