1 problem

Let $K$ be a class of finite structures, let $t(n)$ be polynomially bounded, and let $r(s, \mathcal{A})$ denote the relevant iteration-depth parameter for a structure $\mathcal{A}$…