关于有限刚性结构
On finite rigid structures
摘要:
本文的主要结果是有限刚性结构的概率构造。它产生了一类可公理化的有限刚性结构,其中没有带有计数量词的L^ omega_{infty, omega}公式定义线性序。
英文摘要:
The main result of this paper is a probabilistic construction of finite rigid structures. It yields a finitely axiomatizable class of finite rigid structures where no L^omega_{infty, omega} formula with counting quantifiers defines a linear order.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。