scientific article; zbMATH DE number 3912445

MaRDI QIDQ3689231zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

model theoryfirst-order theorysubdirect productsmodel-companionBoolean powersBoolean productsBoolean constructions

Mathematics Subject Classification ID

Other model constructions (03C30) Structure theory of algebraic structures (08A05) Decidability of theories and sets of sentences (03B25) Categoricity and completeness of theories (03C35) Ultraproducts and related constructions (03C20) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Recommendations

• Boolean constructions in universal algebra
• scientific article; zbMATH DE number 428362
• Applications of Boolean powers of algebraic systems
• scientific article; zbMATH DE number 3843733
• scientific article; zbMATH DE number 4064972

Cited in

(13)

• scientific article; zbMATH DE number 935038 (Why is no real title available?)
• A construction of Boolean algebras from first-order structures
• Extensionalism and induction in Boole
• scientific article; zbMATH DE number 4064972 (Why is no real title available?)
• Existentially closed algebras and boolean products
• A note on well-generated Boolean algebras in models satisfying Martin's axiom
• scientific article; zbMATH DE number 3843733 (Why is no real title available?)
• Set-theoretical Constructions of Boolean Functions and theirs Applications in Logic Synthesis
• scientific article; zbMATH DE number 428362 (Why is no real title available?)
• scientific article; zbMATH DE number 3851077 (Why is no real title available?)
• Boolean constructions in universal algebra
• Applications of Boolean powers of algebraic systems
• Bitopological and algebraic structures in the context of Baire-type properties and generalized Boolean algebras

This page was built for publication:

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