NOTOP 的等价命题
逻辑
2025-09-24 v1
摘要
在可数、超稳定理论的背景下，我们给出了一个理论具有 NOTOP 的许多等价条件。特别地，NOTOP 等价于 V-DI，即任何被独立三元组 V-支配的类型在该三元组上是孤立的断言。如果 具有 NOTOP，那么每个模型 在由可数初等子结构构成的独立树上都是原子的，因此在此类树上由往返等价所确定。我们还验证了 Shelah 在 \cite{Shc} 第十二章中的断言，即 NOTOP 蕴含 PMOP（无需使用 NDOP）。
引用
@article{arxiv.2505.00844,
title = {Equivalents of NOTOP},
author = {Michael C. Laskowski and Danielle S. Ulrich},
journal= {arXiv preprint arXiv:2505.00844},
year = {2025}
}