Theories with few non-algebraic types over models, and their decompositions
Logic
2022-08-11 v2
Abstract
We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a theory is mutually algebraic if and only if there is a uniform bound on the number of coordinate-wise non-algebraic types over every model, regardless of its cardinality.
Keywords
Cite
@article{arxiv.2109.08943,
title = {Theories with few non-algebraic types over models, and their decompositions},
author = {Samuel Braunfeld and Michael C Laskowski},
journal= {arXiv preprint arXiv:2109.08943},
year = {2022}
}
Comments
6 pages; to appear in Proceedings of the AMS