English

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 TT 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