树不可分辨性再探
逻辑
2013-12-25 v4
摘要
我们给出了定义，以区分集合 的两种不可分辨性概念，这两种概念最初见于 \cite{sh90}，我们将其命名为\textit{-} 和\textit{-不可分辨性}。利用这些定义和详细的证明，我们证明了 - 和 -建模定理并给出了这些定理的应用。特别是，我们验证了 TP 等价于 TP 或 TP 的论证中的一个步骤，该步骤在文献中尚未得到阐明。在附录中，我们阐述了 \citep[{App. 2.6, 2.7}]{sh90} 的证明，并扩展了细节。
引用
@article{arxiv.1111.0915,
title = {Tree indiscernibilities, revisited},
author = {Byunghan Kim and Hyeung-Joon Kim and Lynn Scow},
journal= {arXiv preprint arXiv:1111.0915},
year = {2013}
}
备注
submitted