mlsanityData to 14 Oct 2026

Universal Horn Sentences and the Joint Embedding Property

arXiv 2104.11123 ↗First posted 22 Apr 2021cs.LO math.LOcited by 1

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

Cited by year

Citing papers per year: 2024: 1.

1 paper.