For a tuple of functions $\overline{p}$ on a set $Y$, let $cl_{\overline{p}}$ be the associated closure operation: $cl_{\overline{p}}(Z)$ is the smallest subset of $Y$ containing $Z$ and closed under each of the operations in $\overline{p}$. For $\overline{p}, Y$ as above and $A\subseteq Y$, let $\sharp_{\overline{p},Y}(A)$ be the size of the smallest set $\subseteq\mathcal{P}(Y)$ contianing $A$ as an element and closed under complementation and $cl_{\overline{p}}$.

Given an algebra $\mathcal{A}$ (in the sense of universal algebra), let the *Kuratowski spectrum* of $\mathcal{A}$ be the set of cardinals $n$ with the following property:

For some $\mathcal{B}\in\mathsf{HSP}(\mathcal{A})$ and some finite set $\overline{p}=p_1,...,p_k$ of polynomials (= terms with parameters) in $\mathcal{B}$, there is an $X\subseteq\mathcal{B}$ with $\sharp_{\overline{p}, \mathcal{B}}(X)=n$.

Hammer proved (see the introduction to Shallit/Willard) a general result that implies that we always have the Kuratowski spectrum is a subset of $[14]=\{1,2,...,14\}$. Meanwhile, $2$ is always in the Kuratowski spectrum (consider the trivial algebra), and it's easy to whip up examples of algebras with Kuratowski spectrum either of the extremes $[14]$ or $\{2\}$.

*($1$ is impossible for the silly reason that the empty set isn't allowed as a carrier set of an algebra. If we do allow empty algebras, then every Kuratowski spectrum contains $\{1,2\}$, and the interesting question is what happens between $\{1,2\}$ and $[14]$.)*

I'm generally curious about what the Kuratowski spectrum tells us about an algebra. One natural question here is which subsets of $[14]$ occur as Kuratowski spectra, but that seems difficult. I'm hoping the following will be easier to answer:

Question 1: Are there nontrivial algebras with Kuratowski spectrum $\not=[14]$?

In case the answer is yes, the natural follow-up question is:

Question 2: Are there algebras withincomparable(with respect to $\subseteq$) Kuratowski spectra?