三维置换类的联合嵌入的不可判定性
The undecidability of joint embedding for 3-dimensional permutation classes
AI总结:
该研究证明了在具有3个线性序的语言中,结构的遗传类的联合嵌入问题是不可判定的,从而推进了Ruškuc关于置换遗传类可判定性的问题。
摘要:
作为解决Ruškuc关于置换遗传类联合嵌入可判定性问题的一步,该问题可视为具有2个线性序的语言中的结构,我们证明了在具有3个线性序的语言中,结构的遗传类的相应问题是不可判定的。
英文摘要:
As a step towards resolving a question of Ruškuc on the decidability of joint embedding for hereditary classes of permutations, which may be viewed as structures in a language of 2 linear orders, we show the corresponding problem is undecidable for hereditary classes of structures in a language of 3 linear orders.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。