Uniform congruence schemes

DOI10.1007/BF02482900zbMath0431.08002OpenAlexW1988234991MaRDI QIDQ1138009

Robert W. Quackenbush, George Grätzer, Ervin Fried

Publication date: 1980

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02482900

zbMATH Keywords

congruence extension propertysubdirectly irreducible algebrasequational classequationally definable principal congruencesideal congruencesuniform congruence schemeuniform restricted congruence scheme

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10)

Related Items

Bjarni Jónsson's contributions in algebra ⋮ Remarks on the Fraser-Horn property ⋮ Varieties whose countable embeddability skeletons are semilattices ⋮ Quasiorders on universal algebras ⋮ Operator properties of congruence permutable varieties with strongly definable principal congruences. ⋮ On the behaviour of congruence-functors ⋮ Dual discriminator subvarieties of a variety ⋮ The subvariety structure of weakly associative lattices with the unique bound property ⋮ The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ Unnamed Item ⋮ Semi-Nelson algebras ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ Universal algebraic methods for non-classical logics ⋮ Intuitionistic logic is a connexive logic ⋮ Factor principal congruences and Boolean products in filtral varieties ⋮ Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class ⋮ Congruence-distributive varieties of algebras ⋮ Contextual deduction theorems ⋮ On classes of algebras with the definability of congruences ⋮ Universal algebras ⋮ Inconsistency lemmas in algebraic logic ⋮ Cometic functors and representing order-preserving maps by principal lattice congruences ⋮ Quasi-discriminator varieties ⋮ Definable and Autostable Congruences ⋮ Injectivity and Boolean powers ⋮ Unnamed Item ⋮ On subtractive varieties II: General properties ⋮ Congruence-lattices of discrete RUCS varieties ⋮ Definable principal congruences in congruence distributive varieties ⋮ On the structure of varieties with equationally definable principal congruences. II ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES ⋮ Connections between congruence-lattices and polynomial properties ⋮ Nondefinability of projectivity in lattice varieties ⋮ On the size of congruence lattices for models of theories with definability of congruences ⋮ \(p\)-pseudosimple algebras ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weakly associative lattices with congruence extension property
• Near-Boolean algebras. I: Combinatorial aspects
• The number of subdirectly irreducible algebras in a variety
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• The classification of idealizable varieties (congruenze ideali IV)
• A note on the congruence extension property
• Ideals and congruence relations in lattices
• Syntactic characterisations of amalgamation, convexity and related properties
• Weak Injectivity and Congruence Extension in Congruence-Distributive Equational Classes
• Algebras Whose Congruence Lattices are Distributive.
• Congruence Relations in Direct Products
• The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
• Principal Congruences of Pseudocomplemented Distributive Lattices