Dichotomy on intervals of strong partial Boolean clones (Q2351515)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dichotomy on intervals of strong partial Boolean clones
scientific article

    Statements

    Dichotomy on intervals of strong partial Boolean clones (English)
    0 references
    0 references
    23 June 2015
    0 references
    Given two partial functions \(f,g\in \mathrm{Par}(A)\) on a set \(A\), we say that \(f\) is a restriction (or subfunction) of \(g\), written \(f \leq g\), if \(\mathrm{dom }f \subseteq\mathrm{dom }g\) and \(f(x) = g(x)\) for all \(x \in\mathrm{dom }f\). Partial clones that are restriction-closed, i.e. containg with every of its member also all its restrictions, are called strong. In this paper, it is shown that the following dichotomy holds: For every total clone \(C\) on \(2\), the set \({\mathcal I}_{\mathrm{Str}}(C)\) of all strong partial clones on \(2\) whose total component is \(C\), is either finite or has continuum cardinality.
    0 references
    partial clones
    0 references
    Boolean clones
    0 references
    intervals
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references