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}$ a…