1 problem

Let $n\geq 1$ and let a countable $\omega^n$-automatic structure mean a structure with a countable domain admitting an $\omega^n$-automatic presentation. Injective presentation con…