- Book学术

发布求助

文献互助智能选刊最新文献

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science Pub Date : 1993-06-19 DOI:10.1109/LICS.1993.287590

Damian Niwinski, Alexei P. Stolboushkin

引用次数: 3

摘要

证明了利用线性排序和逻辑关系y=2x的一阶逻辑公式不能定义有限模型的大小可被3整除的性质。这回答了一个长期存在的问题，这个问题可能与电路复杂性中的某些开放性问题有关。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

y=2x vs. y=3x

It is shown that no formula of first-order logic using linear ordering and the logical relation y=2x can define the property that the size of a finite model is divisible by 3. This answers a long-standing question that may be of relevance to certain open problems in circuit complexity.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science

自引率

0.00%

发文量