亚历克西斯·贝丝;亚历山大·拉比诺维奇 标记线性序的可判定展开式。 （英语） Zbl 1213.03017号 日志。方法计算。科学。 7，第2号，第5号论文，18页（2011年）. 摘要：考虑一个线性排序，它配备了有限的一元谓词序列。如果排序包含一个顺序类型\（\omega \）或\（-\omega）的区间，并且组合结构的一元二阶理论是可判定的，则存在由一个仍然可判定的另一个一元谓词进行的非平凡展开。 引用于1文件 理学硕士： 03B25号 理论和句子集的可决定性 06年05月 订单总数 关键词：一元二阶逻辑;可判定性;可定义性;线性排序 PDF格式BibTeX公司 XML格式引用 \textit{A.Bès}和\textit{A.Rabinovich}，Log。方法计算。科学。7，第2号，第5号论文，18页（2011；Zbl 1213.03017） 全文： 内政部 arXiv公司