@bibtex{          2104.11123,
  Author        = "Bodirsky, Manuel and Rydval, Jakub and Schrottenloher, Andr\'e",
  Abstract      = "The finite models of a universal sentence $\Phi$ 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 is binary.",
  comments      = "10 pages",
  date-added    = "2021-05-02 11:42:14 +0200",
  date-modified = "2021-05-02 11:42:14 +0200",
  EPrint        = "arXiv:2104.11123",
  EPrintType    = "arXiv",
  Title         = "{U}niversal {H}orn {S}entences and the {J}oint {E}mbedding {P}roperty",
  URL           = "http://arxiv.org/abs/2104.11123",
  Year          = "2021",
  bdsk-url-1    = "http://arxiv.org/abs/2104.11123",
  File          = "2104.11123 - q.pdf"
}

@bibtex{ 2104.11123, Author = "Bodirsky, Manuel and Rydval, Jakub and Schrottenloher, Andr\'e", Abstract = "The finite models of a universal sentence $\Phi$ 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 is binary.", comments = "10 pages", date-added = "2021-05-02 11:42:14 +0200", date-modified = "2021-05-02 11:42:14 +0200", EPrint = "arXiv:2104.11123", EPrintType = "arXiv", Title = "{U}niversal {H}orn {S}entences and the {J}oint {E}mbedding {P}roperty", URL = "http://arxiv.org/abs/2104.11123", Year = "2021", bdsk-url-1 = "http://arxiv.org/abs/2104.11123", File = "2104.11123 - q.pdf" }