Uniformly bounded arrays and mutually algebraic structures
Logic
2020-11-11 v3
Abstract
We define an easily verifiable notion of an atomic formula having uniformly bounded arrays in a structure . We prove that if is a complete -theory, then is mutually algebraic if and only if there is some model of for which every atomic formula has uniformly bounded arrays. Moreover, an incomplete theory is mutually algebraic if and only if every atomic formula has uniformly bounded arrays in every model of .
Cite
@article{arxiv.1803.10054,
title = {Uniformly bounded arrays and mutually algebraic structures},
author = {Michael C. Laskowski and Caroline A. Terry},
journal= {arXiv preprint arXiv:1803.10054},
year = {2020}
}
Comments
published version