Uniformly bounded arrays and mutually algebraic structures

Michael C. Laskowski, Caroline A. Terry

We define an easily verifiable notion of an atomic formula having uniformly bounded arrays in a structure $M$. We prove that if $T$ is a complete $L$-theory, then $T$ is mutually a…