有限偏序不可区分元上的类型可定义性
逻辑
2011-08-12 v1
摘要
在本文中，我们证明了一个划分公式φ是依赖的，当且仅当φ在有限偏序不可区分元上具有类型的统一可定义性。这推广了我们先前论文[1]中的结果。我们通过给出一个外部可定义公式在有限偏序不可区分元上的真值分解来证明这一点。
引用
@article{arxiv.1108.2499,
title = {Definability of types over finite partial order indiscernibles},
author = {Vincent Guingona},
journal= {arXiv preprint arXiv:1108.2499},
year = {2011}
}
备注
25 pages