BL-global representations

DOI10.1142/S0218196722500692MaRDI QIDQ5871380zbMATH OpenFDO

Authors Diego J. Vaggione

Publication date 19 January 2023

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

zbMATH Keywords

quasivarietysheafnear-unanimity termglobal subdirect productcongruence system

Mathematics Subject Classification ID

Structure theory of algebraic structures (08A05) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Quasivarieties (08C15)

Recommendations

• (Finitely) subdirectly irreducible and Birkhoff-like sheaf representation for certain varieties of lattice ordered structures
• Sheaf representation and Chinese Remainder Theorems
• Birkhoff-like sheaf representation for varieties of lattice expansions
• Sheaf representations of BL-algebras
• Compact representations of BL-algebras

Cites work

• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3536176 (Why is no real title available?)
• scientific article; zbMATH DE number 3559628 (Why is no real title available?)
• scientific article; zbMATH DE number 3582215 (Why is no real title available?)
• scientific article; zbMATH DE number 3052424 (Why is no real title available?)
• (Finitely) subdirectly irreducible and Birkhoff-like sheaf representation for certain varieties of lattice ordered structures
• Algebraic functions
• Algebraically expandable classes of implication algebras
• An implicit function theorem for regular fuzzy logic functions
• Baker-Pixley theorem for algebras in relatively congruence distributive quasivarieties
• Birkhoff-like sheaf representation for varieties of lattice expansions
• CLONES CLOSED UNDER CONJUGATION I: CLONES WITH CONSTANTS
• Compact spaces of minimal prime ideals
• Congruence permutable MS-algebras
• Continuous Lattices and Domains
• DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
• Decidability and Boolean representations
• Discriminator varieties and symbolic computation
• Every minimal dual discriminator variety is minimal as a quasivariety
• Existentially closed algebras and boolean products
• Global subdirect products
• Infinitary Baker-Pixley theorem
• Injectivity and Boolean powers
• Integral domain type representations in sheaves and other topoi
• Lateral completion and structure sheaf of an Archimedean \(l\)-group
• Model Companions with Finitely Many Countable Models
• Model companions for finitely generated universal Horn classes
• Model-completeness for sheaves of structures
• Modules over commutative regular rings
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• Sheaf Constructions and Their Elementary Properties
• Sheaf representation and Chinese Remainder Theorems
• The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements
• The structure of decidable locally finite varieties
• The subquasivariety lattice of a discriminator variety
• Varieties in which the Pierce stalks are directly indecomposable
• 𝔪-Stone Lattices

This page was built for publication: BL-global representations

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