BIROn - Birkbeck Institutional Research Online

    The algebra of functions with antidomain and range

    Hirsch, R. and Jackson, M. and Mikulás, Szabolcs (2015) The algebra of functions with antidomain and range. Journal of Pure and Applied Algebra 220 (6), pp. 2214-2239. ISSN 0022-4049.

    [img]
    Preview
    Text
    FunctionAlgebra_arXiv.pdf - Author's Accepted Manuscript
    Available under License Creative Commons Attribution Non-commercial No Derivatives.

    Download (362kB) | Preview

    Abstract

    We give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. This completes the extensive programme of classifying algebras of unary partial functions under combinations of these operations. We look at the complexity of the equational theories and provide a nondeterministic polynomial upper bound. Finally we look at the problem of finite representability and show that finite algebras can be represented as a collection of unary functions over a finite base set provided that intersection is not in the signature.

    Metadata

    Item Type: Article
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Szabolcs Mikulas
    Date Deposited: 09 Dec 2015 10:47
    Last Modified: 09 Aug 2023 12:37
    URI: https://eprints.bbk.ac.uk/id/eprint/13339

    Statistics

    Activity Overview
    6 month trend
    370Downloads
    6 month trend
    254Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item
    Edit/View Item