MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1403

Preprint Number 1403

Previous Next Preprint server


1403. Michael C. Laskowski and Caroline A. Terry
Uniformly bounded arrays and mutually algebraic structures
E-mail:

Submission date: 27 March 2018

Abstract:

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 algebraic if and only if there is some model M of T for which every atomic formula has uniformly bounded arrays. Moreover, an incomplete theory T is mutually algebraic if and only if every atomic formula has uniformly bounded arrays in every model M of T.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1803.10054: pdf, ps.


Last updated: April 18 2018 07:08 Please send your corrections to: