模型上非代数型较少的理论及其分解
逻辑
2022-08-11 v2
摘要
我们考虑了几种将模型分解为有界大小的部件、并在基上形成同余的方法，并证明在理论层面承认任一此类分解等价于互代数性。我们还证明，理论是互代数的当且仅当在任意基数下，每个模型上的坐标式非代数型的数量有统一上界。
引用
@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}
}
备注
6 pages; to appear in Proceedings of the AMS