Algebras Whose Congruence Lattices are Distributive.
From MaRDI portal
Publication:5554384
DOI10.7146/math.scand.a-10850zbMath0167.28401OpenAlexW2099602798WikidataQ106977387 ScholiaQ106977387MaRDI QIDQ5554384
Publication date: 1967
Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/166010
Related Items (only showing first 100 items - show all)
A representation theorem for infinite fuzzy distributive lattices ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ An equational logic sampler ⋮ Complexity and polymorphisms for digraph constraint problems under some basic constructions ⋮ Equational axioms for classes of lattices ⋮ THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY ⋮ Weakening Relation Algebras and FL$$^2$$-algebras ⋮ Ideal Related Algebras and Their Logics Extended Abstract ⋮ A Note on 3×3-valued Łukasiewicz Algebras with Negation ⋮ Varieties of pseudocomplemented Kleene algebras ⋮ Unnamed Item ⋮ Varieties of bounded K-lattices ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Universal algebraic methods for non-classical logics ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ On Freese’s technique ⋮ Structural and universal completeness in algebra and logic ⋮ Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras ⋮ Deduction theorem in congruential modal logics ⋮ Atoms and coatoms in three-generated lattices ⋮ Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications ⋮ Transfer theorems for finitely subdirectly irreducible algebras ⋮ Varieties generated by modular lattices of width four ⋮ Semilinear idempotent distributive \(\ell\)-monoids ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Singly generated quasivarieties and residuated structures ⋮ Many Faces of Lattice Tolerances ⋮ n-Permutability is not join-prime for n ≥ 5 ⋮ SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III: THE CASE OF TOTALLY ORDERED SETS ⋮ 𝜔-categorical structures avoiding height 1 identities ⋮ Protoalgebraic logics ⋮ Partially ordered sets, and minimal systems of counterexamples ⋮ DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS ⋮ Regular Identities in Lattices ⋮ Partially ordered sets, and minimal systems of counterexamples ⋮ Products of absolute retracts ⋮ On subvarieties of symmetric closure algebras ⋮ Linear Heyting algebras with a quantifier ⋮ Equational bases for varieties of Ockham algebras ⋮ Equational Bases and Nonmodular Lattice Varieties ⋮ Algebraic semantics for quasi-classical modal logics ⋮ Pseudo‐loop conditions ⋮ Open problems from NCS 2018 ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ Demi-semi-primal algebras and Mal'cev-type conditions ⋮ Demi-semi-primal algebras and Mal'cev-type conditions ⋮ Varieties of distributive rotational lattices ⋮ Homomorphic images of subdirectly irreducible rings ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Splittings in varieties of logic ⋮ Between an n-ary and an n + 1-ary near-unanimity term ⋮ ALGEBRAIC EXPANSIONS OF LOGICS ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS ⋮ Almost distributive lattice varieties ⋮ Varieties of algebraic systems and propositional calculi ⋮ Almost structural completeness; an algebraic approach ⋮ Elementary and algebraic properties of the Arens-Kaplansky constructions ⋮ Finitely determined arithmetical varieties need not be universally- finite ⋮ A property of the lattice of equational theories ⋮ Varieties of modular ortholattices ⋮ Every idempotent plain algebra generates a minimal variety ⋮ A note on regular De Morgan semi-Heyting algebras ⋮ Embeddings of implicative lattices and superintuitionistic logics ⋮ Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities ⋮ The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences ⋮ Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties ⋮ Algebras in permutable varieties: Geometrical properties of affine algebras ⋮ Identities in congruence lattices of universal algebras ⋮ The variety generated by planar modular lattices ⋮ Natural dualities for three classes of relational structures ⋮ Cancellative residuated lattices arising on 2-generated submonoids of natural numbers ⋮ A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity ⋮ Dualisability versus residual character: a theorem and a counterexample ⋮ Positive universal classes in locally finite varieties ⋮ Uniform congruence schemes ⋮ Every finite lattice can be embedded in a finite partition lattice ⋮ Injectivity and congruence extension property in congruence distributive equational classes ⋮ Algebras with minimal spectrum ⋮ Congruence varieties ⋮ A proof of Lyndon's finite basis theorem ⋮ Remarks on Boolean products ⋮ Pretabular varieties of modal algebras ⋮ The lattice of varieties of modal algebras is not strongly atomic ⋮ Finite sublattices of four-generated modular lattices ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Congruence modularity is permutability composed with distributivity ⋮ Interval lattices and the amalgamation property ⋮ Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class ⋮ Distributivity and modularity of lattices of tolerance relations ⋮ The number of subdirectly irreducible algebras in a variety. II ⋮ Bounded and well-placed theories in the lattice of equational theories ⋮ Collapsed toposes and cartesian closed varieties ⋮ Congruence-distributive varieties of algebras ⋮ A variety generated by a finite algebra with \(2^{\aleph_0}\) subvarieties ⋮ Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility ⋮ Congruence modularity at 0 ⋮ Axiomatizability by \({\forall \exists!}\)-sentences ⋮ Interpolation and definability over the logic Gl ⋮ Modular subalgebra lattices
This page was built for publication: Algebras Whose Congruence Lattices are Distributive.
