BL-global representations
From MaRDI portal
Publication:5871380
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)