Complete representation by partial functions for signatures containing antidomain restriction
type: Item
instance of: scholarly article
title: Complete representation by partial functions for signatures containing antidomain restriction
author: Brett McLean
published in: International Journal of Algebra and Computation
publication date: 2025-01-10T00:00:00Z
Mathematics Subject Classification ID: 03G10
Mathematics Subject Classification ID: 06E75
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 20M20
zbMATH DE Number: 7965262
zbMATH Keywords: complete representation
zbMATH Keywords: partial function
zbMATH Keywords: antidomain restriction
zbMATH Keywords: finite first-order axiomatization
MaRDI profile type: Publication
cites work: Boolean Rings with Isomorphisms Preserving Suprema and Infima
cites work: Difference-restriction algebras of partial functions: axiomatisations and representations
cites work: Difference-restriction algebras of partial functions with operators: discrete duality and completion
cites work: Nearlattices with an overriding operation
cites work: FUNCTIONAL MENGER -ALGEBRAS
cites work: Completely representable lattices
cites work: Relation algebra reducts of cylindric algebras and complete representations
cites work: Complete representations in algebraic logic
cites work: The algebra of functions with antidomain and range
cites work: Disjoint-union partial algebras
cites work: Q4003410
cites work: Partial Maps with Domain and Range: Extending Schein's Representation
cites work: MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
cites work: Monoids with tests and the algebra of possibly non-halting programs
cites work: Pseudogroups and their étale groupoids.
cites work: Skew Boolean algebras
cites work: Recent developments in the theory of skew lattices
cites work: Complete representation by partial functions for composition, intersection and anti-domain
cites work: The finite representation property for composition, intersection, domain and range
cites work: Q5597568
cites work: Q5813195
DOI: 10.1142/S0218196724500450
description: scientific article; zbMATH DE number 7965262