Pages that link to "Item:Q5554384"

The following pages link to Algebras Whose Congruence Lattices are Distributive. (Q5554384):

Displaying 50 items.

• Almost structural completeness; an algebraic approach (Q278762) (← links)
• A note on regular De Morgan semi-Heyting algebras (Q305161) (← links)
• Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
• Involutive residuated lattices based on modular and distributive lattices. (Q466876) (← links)
• \(n\)-orthodistributivity in orthomodular lattices (Q472728) (← links)
• The structure of slices over minimal logic (Q511341) (← links)
• Lattice varieties covering \(V(L_ 1)\) (Q580383) (← links)
• Algebras in permutable varieties: Geometrical properties of affine algebras (Q599073) (← links)
• Identities in congruence lattices of universal algebras (Q599075) (← links)
• The variety generated by planar modular lattices (Q607450) (← links)
• Natural dualities for three classes of relational structures (Q607455) (← links)
• Cancellative residuated lattices arising on 2-generated submonoids of natural numbers (Q607457) (← links)
• Positive universal classes in locally finite varieties (Q616122) (← links)
• Congruence modularity at 0 (Q647314) (← links)
• Axiomatizability by \({\forall \exists!}\)-sentences (Q647342) (← links)
• Interpolation and definability over the logic Gl (Q647415) (← links)
• Categorical (binary) difference terms and protomodularity (Q651386) (← links)
• Cross varieties of aperiodic monoids with central idempotents. (Q658576) (← links)
• Varieties generated by finite homogeneous algebras (Q690102) (← links)
• The modular commutator via the Gumm terms (Q690106) (← links)
• Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
• Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
• Congruence-lattices of discrete RUCS varieties (Q759783) (← links)
• Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
• Connections between congruence-lattices and polynomial properties (Q790138) (← links)
• Nondefinability of projectivity in lattice varieties (Q790855) (← links)
• Varieties of lattice-ordered algebras (Q790858) (← links)
• Quasiidentities of two-element algebras (Q790865) (← links)
• Aspects of distributivity (Q794678) (← links)
• On congruence n-distributivity of ordered algebras (Q794684) (← links)
• On Jónsson's theorem (Q797617) (← links)
• Splitting p-algebras (Q798681) (← links)
• Intersection of noncharacterizable varieties of lattices (Q810068) (← links)
• Conic decompositions of a class of lattices and universal algebras (Q810550) (← links)
• Dualisability versus residual character: a theorem and a counterexample (Q886225) (← links)
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
• Bounded and well-placed theories in the lattice of equational theories (Q910421) (← links)
• Collapsed toposes and cartesian closed varieties (Q910487) (← links)
• Congruence-distributive varieties of algebras (Q911623) (← links)
• Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility (Q913835) (← links)
• Modular subalgebra lattices (Q920129) (← links)
• Mal'cev conditions revisited (Q1029605) (← links)
• Quasivarieties with definable relative principal subcongruences (Q1037593) (← links)
• Algebraically expandable classes (Q1042420) (← links)
• Semiconic idempotent residuated structures (Q1047102) (← links)
• Bases of quasiidentities of finite modal algebras (Q1050380) (← links)
• Critical modal logics containing the Brouwer axiom (Q1052314) (← links)
• Lattices with a finite Whitman cover (Q1052347) (← links)
• A discriminator variety of Heyting algebras with involution (Q1055458) (← links)
• Union of logics modeled by finite trees (Q1055763) (← links)