scientific article; zbMATH DE number 3912445
From MaRDI portal
Publication:3689231
Boolean constructionsBoolean powersBoolean productsfirst-order theorymodel theorymodel-companionsubdirect products
Decidability of theories and sets of sentences (03B25) Ultraproducts and related constructions (03C20) Other model constructions (03C30) Categoricity and completeness of theories (03C35) Structure theory of algebraic structures (08A05) Products, amalgamated products, and other kinds of limits and colimits (08B25)
Recommendations
Cited in
(14)- Applications of Boolean powers of algebraic systems
- A note on well-generated Boolean algebras in models satisfying Martin's axiom
- Bitopological and algebraic structures in the context of Baire-type properties and generalized Boolean algebras
- Extensionalism and induction in Boole
- scientific article; zbMATH DE number 428362 (Why is no real title available?)
- scientific article; zbMATH DE number 3843733 (Why is no real title available?)
- scientific article; zbMATH DE number 3851077 (Why is no real title available?)
- scientific article; zbMATH DE number 4064972 (Why is no real title available?)
- Existentially closed algebras and boolean products
- Boolean constructions in universal algebra
- Model theory of Boolean products of subdirectly irreducible heyting algebras
- scientific article; zbMATH DE number 935038 (Why is no real title available?)
- Set-theoretical Constructions of Boolean Functions and theirs Applications in Logic Synthesis
- A construction of Boolean algebras from first-order structures
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)
