一类一阶理论中类型的 Krull 维数
逻辑
2009-06-01 v2
摘要
我们研究一类一阶理论，其具有一个自由变量的完备无量词类型要么具有平凡的正部，要么被一个正无量词公式隔离——此外还有几个其他技术要求。向量空间理论和域理论是其中的例子。我们证明了融合性质和模型伴随的存在性。我们证明了该模型伴随是强极小的。我们还证明了任何素类型递增序列的长度都是有界的，因此每个公式都具有有限的 Krull 维数。
引用
@article{arxiv.0812.3489,
title = {Krull dimension of types in a class of first-order theories},
author = {Domenico Zambella},
journal= {arXiv preprint arXiv:0812.3489},
year = {2009}
}
备注
Major revision, new title