BIROn - Birkbeck Institutional Research Online

    The finite representation property for composition, intersection, domain and range

    McLean, B. and Mikulás, Szabolcs (2016) The finite representation property for composition, intersection, domain and range. International Journal of Algebra and Computation 26 , p. 1199. ISSN 0218-1967.

    [img]
    Preview
    Text
    the_finite_representation_property_for_composition_intersection_domain_and_range-2.pdf - Author's Accepted Manuscript

    Download (379kB) | Preview

    Abstract

    We prove that the nite representation property holds for rep- resentation by partial functions for the signature consisting of composition, intersection, domain and range and for any expansion of this signature by the antidomain, xset, preferential union, maximum iterate and opposite opera- tions. The proof shows that, for all these signatures, the size of base required is bounded by a double-exponential function of the size of the algebra. This establishes that representability of nite algebras is decidable for all these signatures. We also give an example of a signature for which the nite repre- sentation property fails to hold for representation by partial functions.

    Metadata

    Item Type: Article
    Additional Information: Electronic version of an article. © World Scientific Publishing Company
    Keyword(s) / Subject(s): Finite representation property, partial functions, intersection, domain, range
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Szabolcs Mikulas
    Date Deposited: 08 Jul 2016 08:56
    Last Modified: 28 Jul 2019 05:20
    URI: http://eprints.bbk.ac.uk/id/eprint/15357

    Statistics

    Downloads
    Activity Overview
    54Downloads
    85Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item