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

DOI10.1007/BF02483723zbMATH Open0512.08002OpenAlexW4255255331MaRDI QIDQ1839272FDOQ1839272

Authors: W. J. Blok, Don Pigozzi 

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 classes, universal algebra in model theory (03C05) Subalgebras, congruence relations (08A30) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Cites Work

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

Cited In (71)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1839272)