Varieties with equationally definable principal congruences

DOI10.1007/BF02483100zbMath0448.08005MaRDI QIDQ1146705

Don Pigozzi, Peter Köhler

Publication date: 1980

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

zbMATH Keywords

equationally definable principal congruencesfinitely generated congruencesdually Brouwerian semilatticefiltral variety

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Equational classes, universal algebra in model theory (03C05)

Related Items (46)

Uniform interpolation and compact congruences ⋮ Congruence quasi-orderability in subtractive varieties ⋮ Algebraic aspects of deduction theorems ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ On Ockham algebras: Congruence lattices and subdirectly irreducible algebras ⋮ Model completions and r-Heyting categories ⋮ The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences ⋮ The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ Semi-Nelson algebras ⋮ Expansions of dually pseudocomplemented Heyting algebras ⋮ A Mathematical Life ⋮ Deduction-Detachment Theorem and Gentzen-Style Deductive Systems ⋮ Introducing Boolean Semilattices ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ A frame-theoretic perspective on Esakia duality ⋮ Universal algebraic methods for non-classical logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ Intuitionistic logic is a connexive logic ⋮ Esakia style duality for implicative semilattices ⋮ Factor principal congruences and Boolean products in filtral varieties ⋮ Willem Blok's contribution to abstract algebraic logic ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Canonical extensions for congruential logics with the deduction theorem ⋮ Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class ⋮ Congruence-distributive varieties of algebras ⋮ Contextual deduction theorems ⋮ Quasi-discriminator varieties ⋮ Definable and Autostable Congruences ⋮ Fragments of R-mingle ⋮ Quasivarieties of algebras with definable principal congruences ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ On subtractive varieties II: General properties ⋮ Congruence-lattices of discrete RUCS varieties ⋮ FREGEAN VARIETIES ⋮ On the structure of varieties with equationally definable principal congruences. II ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Double MS_n-algebras and double K_n.m-algebras ⋮ A discriminator variety of Gödel algebras with operators arising in quantum computation ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ Semiconic idempotent residuated structures ⋮ Easkia Duality and Its Extensions ⋮ A finite basis theorem for quasivarieties ⋮ Amalgamation classes of some distributive varieties ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Uniform representations of congruence schemes
• The number of subdirectly irreducible algebras in a variety
• An example concerning definable principal congruences
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Definable principal congruences in varieties of groups and rings
• A note on the congruence extension property
• The lattice of modal logics: an algebraic investigation
• Implicative Semi-Lattices

This page was built for publication: Varieties with equationally definable principal congruences