正面不可分辨的
摘要：找到无区别树和数组的各种定理在正逻辑中的泛化：基于现有的关于s-树的建模定理，我们证明了str-树，str_0-树（忘记了长度比较关系的str-树的约化形式）和数组的建模定理。在此过程中，我们证明了基于s-树的str-树以及基于str-树的str_0-树的更强版本，而不是局部基于或者EM-基于。作为一个应用，我们证明了一个厚正理论具有k-TP_2当且仅当它具有2-TP_2。
作者：Mark Kamsma
论文ID：2305.14127
分类：Logic
分类简称：math.LO
提交时间：2023-05-24