Boolean powers
From MaRDI portal
Publication:1226512
DOI10.1007/BF02485268zbMath0328.08003OpenAlexW3190617606MaRDI QIDQ1226512
Publication date: 1975
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02485268
Decidability of theories and sets of sentences (03B25) Structure theory of algebraic structures (08A05) Varieties (08B99) Other model constructions (03C30) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items
Atoms in Boolean powers, Boolean powers of groups, Bjarni Jónsson's contributions in algebra, Filtral powers of structures, Elementary theory of \({\mathfrak D}\)-degrees, Elementary and algebraic properties of the Arens-Kaplansky constructions, A direct definition of distributive extensions of partially ordered algebras, On the scarcity of contravariant left adjunctions, Relations of imbeddability and epimorphism on congruence-distributive varieties, Skeletons on congruence distributive varieties of algebras, B-separating algebras, Projective limits of \(MV\)-spaces, Pták sum of a Boolean algebra with an effect algebra and its completeness, Sheaf Constructions and Their Elementary Properties, Completeness of the bounded Boolean powers of orthomodular lattices, Counting models in universal Horn classes, The number of non-isomorphic models in quasi-varieties of semigroups, Small congruence distributive varieties: retracts, injectives, equational compactness and amalgamation, $C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit, Remarks on Boolean products, New perspectives on semi-primal varieties, Complete Boolean powers of quasi-primal algebras with lattice reducts, Boolean Powers of Groups, Congruence-distributive varieties of algebras, Spectrum of rigid systems of Horn classes, Quasi-Boolean powers of elementary Abelian \(p\)-groups, Existentially closed closure algebras, A Note on Representing and Interpreting MV-Algebras, Elementary properties of V-free products of groups, Bounded Boolean powers and \(\equiv_n\), Rigid Boolean powers, Injectivity and Boolean powers, A characterization of some Boolean powers, A.D. Taimanov and model theory in Kazakhstan, Unnamed Item, Algebraically closed algebras in certain small congruence distributive varieties, Model theoretic properties in the variety generated by a primal algebra, On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions, De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces., \(p\)-pseudosimple algebras, Applications of Boolean powers of algebraic systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On universal Horn classes categorical in some infinite power
- Primality and model-completions
- Congruences on products of algebras and functionally complete algebras
- Lattice-theoretic decision problems in universal algebra
- Separating sets in modular lattices with applications to congruence lattices
- On subsystems of reduced powers
- Boolean vector spaces. I
- A characterisation of Boolean extension of universal algebras
- Boolean extensions and normal subdirect powers of finite universal algebras
- Boolean vector spaces. II
- Every two elementarily equivalent models have isomorphic ultrapowers
- Free products and elementary equivalence
- On the number of complete Boolean algebras
- Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
- Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
- On some fundamental problems concerning isomorphism of Boolean algebras
- Remarks on direct products of commutative semigroups
- On isomorphism types of groups and other algebraic systems
- On direct decompositions of torsionfree Abelian groups
- The first order properties of products of algebraic systems
- Model-completeness for sheaves of structures
- On the simplicity and subdirect irreducibility of Boolean ultrapowers
- Boolean powers of simple groups
- Modules over commutative regular rings
- The theory of Boolean ultrapowers
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Equationally compact algebras (I)
- Congruence Relations in Direct Products
- Injectivity in Equational Classes of Algebras
- On direct products of theories
- A solution of a problem of R. Sikorski
- Post Algebras. I. Postulates and General Theory
- Free products of bounded distributive lattices