arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1907.13360math.COmath.LO
收藏

杨格(Young)格的复杂性

Complexity in Young's Lattice

Alexander Wires

AI总结:

该研究刻画杨格偏序的可定义关系,证明其初等理论不可判定、固有不可有限公理化但每个理想生成可有限公理化的等价关系泛类,并提出低阶分层理论复杂性的猜想。

摘要:

我们研究了杨格(Young's lattice)偏序关系的复杂性。通过建立以共轭这一唯一自同构为模的极大可定义性性质,我们刻画了其上的可定义关系;由此可得,作为有序集的杨格具有不可判定的初等理论,且固有地不可有限公理化,但每个理想都生成一类可有限公理化的等价关系泛类。最后我们提出了关于Σ₁与Σ₂理论复杂性的猜想。

英文摘要:

We investigate the complexity of the partial order relation of Young's lattice. The definable relations are characterized by establishing the maximal definability property modulo the single automorphism given by conjugation; consequently, as an ordered set Young's lattice has an undecidable elementary theory and is inherently non-finitely axiomatizable but every ideal generates a finitely axiomatizable universal class of equivalence relations. We end with conjectures concerning the complexities of the $Σ_1$ and $Σ_2$-theories.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑