The undecidability of joint embedding for 3-dimensional permutation
classesArticle
Authors: Samuel Braunfeld
0000-0003-3531-9970
Samuel Braunfeld
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.