Universal Horn Sentences and the Joint Embedding Property
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 22 Apr 2021.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2024: 1.
1 paper.
- 2024Directed Regular and Context-Free Languagescited by 0
- 2024Directed Regular and Context-Free Languages13 Jan 2024