English

Universal Horn Sentences and the Joint Embedding Property

Logic in Computer Science 2024-02-14 v6 Logic

Abstract

The finite models of a universal sentence Φ\Phi in a finite relational signature are the age of a structure if and only if Φ\Phi has the joint embedding property. We prove that the computational problem whether a given universal sentence Φ\Phi has the joint embedding property is undecidable, even if Φ\Phi is additionally Horn and the signature of Φ\Phi only contains relation symbols of arity at most two.

Cite

@article{arxiv.2104.11123,
  title  = {Universal Horn Sentences and the Joint Embedding Property},
  author = {Manuel Bodirsky and Jakub Rydval and André Schrottenloher},
  journal= {arXiv preprint arXiv:2104.11123},
  year   = {2024}
}

Comments

16 pages

R2 v1 2026-06-24T01:26:07.428Z