arXiv Analytics

Sign in

arXiv:2002.11494 [math.LO]AbstractReferencesReviewsResources

The undecidability of joint embedding for 3-dimensional permutation classes

Samuel Braunfeld

Published 2020-02-25Version 1

As a step towards resolving a question of Ru\v{s}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.

Comments: 18 pages. arXiv admin note: substantial text overlap with arXiv:1903.11932
Categories: math.LO, math.CO
Related articles: Most relevant | Search more
arXiv:1503.03192 [math.LO] (Published 2015-03-11)
Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
arXiv:1809.04670 [math.LO] (Published 2018-09-12)
Undecidability of $\mathbb Q^{(2)}$
arXiv:1903.11932 [math.LO] (Published 2019-03-28)
Towards the undecidability of atomicity for permutation classes via the undecidability of joint embedding for hereditary graph classes

Links

Toolbox