y=2x vs. y=3x

[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

Abstract

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.<>

查看原文本刊更多论文

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

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

求助全文

约1分钟内获得全文求助全文

来源期刊

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

自引率

0.00%

发文量