Difference-restriction algebras of partial functions: axiomatisations and representations

DOI10.1007/s00012-022-00775-4OpenAlexW3108610421MaRDI QIDQ2153921

Célia Borlido, Brett McLean

Publication date: 13 July 2022

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

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

zbMATH Keywords

representationcomplete representationpartial functionatomicequational axiomatisation

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Semilattices (06A12) Generalizations of Boolean algebras (06E75)

Related Items (1)

Difference-restriction algebras of partial functions with operators: discrete duality and completion

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A non-commutative Priestley duality.
• Completely representable lattices
• The algebra of functions with antidomain and range
• The axiomatization of override and update
• Normal skew lattices
• Recent developments in the theory of skew lattices
• A categorical duality for algebras of partial functions
• Difference-restriction algebras of partial functions with operators: discrete duality and completion
• Override and update
• Monoids with tests and the algebra of possibly non-halting programs
• A perspective on non-commutative frame theory
• Pseudogroups and their étale groupoids.
• Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids
• Boolean sets, skew Boolean algebras and a non-commutative Stone duality
• THE ÉTALE GROUPOID OF AN INVERSE SEMIGROUP AS A GROUPOID OF FILTERS
• MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
• Complete representation by partial functions for composition, intersection and anti-domain
• Restriction Semigroups and Inductive Constellations
• A NONCOMMUTATIVE GENERALIZATION OF STONE DUALITY
• Difference semigroups
• Complete representations in algebraic logic
• NON-COMMUTATIVE STONE DUALITY: INVERSE SEMIGROUPS, TOPOLOGICAL GROUPOIDS AND C*-ALGEBRAS
• Affine varieties, singularities and the growth rate of wrapped Floer cohomology
• Disjoint-union partial algebras
• Boolean Rings with Isomorphisms Preserving Suprema and Infima
• Canonical extensions and relational completeness of some substructural logics
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions

This page was built for publication: Difference-restriction algebras of partial functions: axiomatisations and representations