scientific article; zbMATH DE number 3528226
From MaRDI portal
Publication:4105667
zbMath0338.02032MaRDI QIDQ4105667
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Logical aspects of Boolean algebras (03G05) Cylindric and polyadic algebras; relation algebras (03G15) Other model constructions (03C30)
Related Items (18)
Elementary and algebraic properties of the Arens-Kaplansky constructions ⋮ Hyper-regular lattice-ordered groups ⋮ Sheaf Constructions and Their Elementary Properties ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Elementary equivalence of some rings of definable functions ⋮ Unnamed Item ⋮ Filtered and stable Boolean powers are relativized full Boolean powers ⋮ Boolean powers ⋮ Monadic algebras with finite degree ⋮ Decidable locally finite discriminator varieties arising from dihedral varieties of groups ⋮ \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures ⋮ Boolean products of real closed valuation rings and fields ⋮ Preservation theorems for limits of structures and global sections of sheaves of structures ⋮ Representations of MV-algebras by sheaves ⋮ Decidable Discriminator Varieties from Unary Classes ⋮ Sheaves of Metric Structures ⋮ Boolean products of lattices ⋮ A Characterization of Finitely Decidable Congruence Modular Varieties
This page was built for publication:
