On the structure of varieties with equationally definable principal congruences. I

DOI10.1007/BF02483723zbMath0512.08002OpenAlexW4255255331MaRDI QIDQ1839272

Don Pigozzi, Willem J. Blok

Publication date: 1982

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

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

zbMATH Keywords

equationally definable principal congruencesfiltral varietiesfinite equational basesemilattice of compact congruencesvariety of Brouwerian semilattices

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Equational classes, universal algebra in model theory (03C05)

Related Items (68)

Discriminator polynomials and arithmetical varieties ⋮ Bjarni Jónsson's contributions in algebra ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ Almost structural completeness; an algebraic approach ⋮ Representable idempotent commutative residuated lattices ⋮ The determination of subvarieties of certain congruence-distributive varieties ⋮ Fregean subtractive varieties with definable congruence ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ Operator properties of congruence permutable varieties with strongly definable principal congruences. ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ On Ockham algebras: Congruence lattices and subdirectly irreducible algebras ⋮ The structure of lattices of subframe logics ⋮ Model completions and r-Heyting categories ⋮ 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 ⋮ Congruence lattices in varieties with compact intersection property ⋮ Expansions of dually pseudocomplemented Heyting algebras ⋮ A Mathematical Life ⋮ Introducing Boolean Semilattices ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator ⋮ Varieties of K-lattices ⋮ Universal algebraic methods for non-classical logics ⋮ Intuitionistic logic is a connexive logic ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Willem Blok's contribution to abstract algebraic logic ⋮ Semisimple varieties of modal algebras ⋮ Subdirectly irreducible residuated semilattices and positive universal classes ⋮ On triangular norm based axiomatic extensions of the weak nilpotent minimum logic ⋮ Singly generated quasivarieties and residuated structures ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Congruence-distributive varieties of algebras ⋮ Not every splitting Heyting or interior algebra is finitely presentable ⋮ Natural extensions and profinite completions of algebras ⋮ Implicative twist-structures ⋮ Universal algebras ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ Finite bases for finitely generated, relatively congruence distributive quasivarities ⋮ The word problem for discriminator varieties ⋮ Inconsistency lemmas in algebraic logic ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Axiomatizing logics closely related to varieties ⋮ The word problem for discriminator varieties ⋮ Even more about the lattice of tense logics ⋮ Quasi-discriminator varieties ⋮ Quasivarieties of distributive \(p\)-algebras ⋮ On reduced matrices ⋮ Free algebras in discriminator varieties ⋮ Fragments of R-mingle ⋮ Algebras defined from ordered sets and the varieties they generate ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Characteristic Formulas Over Intermediate Logics ⋮ Congruence-lattices of discrete RUCS varieties ⋮ FREGEAN VARIETIES ⋮ On the structure of varieties with equationally definable principal congruences. II ⋮ Free-decomposability in varieties of pseudocomplemented residuated lattices ⋮ Double MS_n-algebras and double K_n.m-algebras ⋮ A discriminator variety of Gödel algebras with operators arising in quantum computation ⋮ Splittings in GBL-algebras. I: The general case ⋮ Semiconic idempotent residuated structures ⋮ Splittings in varieties of logic ⋮ A finite basis theorem for quasivarieties ⋮ On the structure of varieties with equationally definable principal congruences. IV ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Der Verband der normalen verzweigten Modallogiken
• Connections between congruence-lattices and polynomial properties
• Intuitionistic diagonalizable algebras
• Uniform congruence schemes
• Varieties with equationally definable principal congruences
• An algebraic approach to non-classical logics
• On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Equational axioms for classes of Heyting algebras
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Equational compactness in quasi-primal varieties
• Endomorphism semigroups of Brouwerian semilattices
• Distributive lattices with an additional unary operation
• The structure of distributive double p-algebras. Regularity and congruences
• Semi-Boolean lattices
• The lattice of modal logics: an algebraic investigation
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• Principal Congruences of p-Algebras and Double p-Algebras
• Sheaf Constructions and Their Elementary Properties
• Implicative Semi-Lattices
• Algebras Whose Congruence Lattices are Distributive.
• Equational Classes of Distributive Pseudo-Complemented Lattices
• The Structure of Pseudocomplemented Distributive Lattices. I: Subdirect Decomposition
• Equational Bases and Nonmodular Lattice Varieties
• Principal Congruences of Pseudocomplemented Distributive Lattices
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: On the structure of varieties with equationally definable principal congruences. I