scientific article; zbMATH DE number 3912445
zbMATH Open0572.08001MaRDI QIDQ3689231FDOQ3689231
Authors:
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
model theoryfirst-order theorysubdirect productsmodel-companionBoolean powersBoolean productsBoolean constructions
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)
Cited In (13)
- A construction of Boolean algebras from first-order structures
- Title not available (Why is that?)
- Extensionalism and induction in Boole
- Existentially closed algebras and boolean products
- A note on well-generated Boolean algebras in models satisfying Martin's axiom
- Set-theoretical Constructions of Boolean Functions and theirs Applications in Logic Synthesis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Boolean constructions in universal algebra
- Applications of Boolean powers of algebraic systems
- Title not available (Why is that?)
- 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)