NSOP$_1$ 理论中的传递性、低性与秩
逻辑
2023-06-05 v2
摘要
我们在满足存在性公理的 NSOP 理论背景下发展了 Kim-独立性理论。我们证明，在此类理论中，Kim-独立性具有传递性，且 -Morley 序列见证 Kim-分割。作为应用，我们证明在存在性假设下，低 NSOP 理论中 Shelah 强类型与 Lascar 强类型一致；此外，我们引入了 NSOP 理论的一种秩的概念。
引用
@article{arxiv.2006.10486,
title = {Transitivity, lowness, and ranks in NSOP$_1$ theories},
author = {Artem Chernikov and Byunghan Kim and Nicholas Ramsey},
journal= {arXiv preprint arXiv:2006.10486},
year = {2023}
}