Dichotomy on intervals of strong partial Boolean clones (Q2351515)

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.