Transfer theorems for finitely subdirectly irreducible algebras

DOI10.1016/j.jalgebra.2023.11.003arXiv2205.05148OpenAlexW4388639966MaRDI QIDQ6183569

George Metcalfe, Wesley Fussner

Publication date: 4 January 2024

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

Full work available at URL: https://arxiv.org/abs/2205.05148

zbMATH Keywords

varietyquasivarietycongruence extension propertyBL-algebraamalgamation propertycongruence-distributivefinitely subdirectly irreducible

Mathematics Subject Classification ID

Distributive lattices (06Dxx) Algebraic logic (03Gxx) Varieties (08Bxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Embedding theorems for classes of GBL-algebras
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Algebraic point lattices of quasivarieties
• Free algebras in varieties of BL-algebras with a Boolean retract.
• Varieties of BL-algebras. I: General properties.
• Epimorphisms and dominions. V
• One chain generated varieties of MV-algebras
• Poset products as relational models
• Epimorphism surjectivity in varieties of Heyting algebras
• Amalgamation and interpolation in ordered algebras.
• A topological approach to MTL-algebras
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components
• Some modal and temporal translations of generalized basic logic
• Finitely generated congruence distributive quasivarieties of algebras
• Injectivity and related concepts in modular varieties: II. The congruence extension property
• On the Relationship Between AP, RS and CEP
• Super-Łukasiewicz propositional logics
• Weak Injectivity and Congruence Extension in Congruence-Distributive Equational Classes
• DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
• Algebras Whose Congruence Lattices are Distributive.
• Injectivity in model theory
• The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
• On the congruence extension property
• Residuated Structures in Algebra and Logic